A Proof-checking Experiment on Representing Graphs as Membership Digraphs.
['Pierpaolo Calligaris', 'Eugenio G. Omodeo', 'Alexandru I. Tomescu']
A Proof-checking Experiment on Representing Graphs as Membership Digraphs.