"Reasoning about Complex Networks: A Logic Programming Approach."

Paulo Shakarian, Gerardo I. Simari, Devon Callahan (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics