Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization.

Scott Dietzen Frank Pfenning Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization. 23-55 1992 9 Machine Learning db/journals/ml/ml9.html#DietzenP92