Dèjá vu in fixpoints of logic programs (1990)

by M J Maher, R Ramakrishnan
Venue:In Proceedings of the Symposium on Logic Programming