@article{2a5ad3e5ebf24bee975ac160a49ebc92,
title = "Set Graphs. V. On representing graphs as membership digraphs",
keywords = "Theory-based automated reasoning, proof checking, Referee a.k.a. AEtnaNova, graphs and digraphs, Mostowski's decoration, 113 Computer and information sciences",
author = "Omodeo, {Eugenio G.} and Tomescu, {Alexandru I.}",
year = "2015",
month = jun,
doi = "10.1093/logcom/exu060",
language = "English",
volume = "25",
pages = "899--919",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "3",
}