A language for high-order explanation-based learning - Dietzen, Scott (1992)
Zugl.: Pittsburgh, Pa., Carnegie Mellon Univ., Diss., 1992