Fixpoint extensions of first-order logic and Datalog-like languages (1989)

by S Abiteboul, V Vianu
Venue:In IEEE Symposium on Logic in Compater Science