Déjà vu in fixpoints of logic programs (1989)

by M Maher, R Ramakrishnan
Venue:In NACLP