Michael J. Maher Raghu Ramakrishnan Déjà Vu in Fixpoints of Logic Programs. 963-980 1989 NACLP db/conf/slp/slp89.html#MaherR89