G. Gottlob, G. Greco, and B. Marnette. Graph Theory, Computational Intelligence and Thought, volume 5420 of Lecture Notes in Computer Science, page 87-99. Springer, (2009)
V. Kuncak, M. Rinard, and B. Marnette. Deduction and Applications, volume 05431 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)