"Fixpoint Extensions of First-Order Logic and Datalog-Like Languages"

Serge Abiteboul, Victor Vianu (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics