A Proof-checking Experiment on Representing Graphs as Membership Digraphs. - Pierpaolo Calligaris; Eugenio G. Omodeo; Alexandru I. Tomescu (CILC, 2013)