Fixpoint extensions of firstorder logic and datalog-like languages (1989)

by S Abiteboul, V Vianu
Venue:In Proceedings of the Fourth Annual Symposium on Logic in Computer Science