"Inductive Pebble Games and the Expressive Power of Datalog."

V. S. Lakshmanan, Alberto O. Mendelzon (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics