A Declarative Alternative to "Assert" in Logic Programming. - Scott Dietzen; Frank Pfenning (ISLP, 1991)

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization. - Scott Dietzen; Frank Pfenning (Mach. Learn., 1992)