D'ej`a vu in fixpoints of logic programs (1989)

by Michael J. Maher , Raghu Ramakrishnan
Venue:in Proceedings of the North American Conference on Logic Programming
Citations:27 - 5 self