An instruction set for higher-order hereditary Harrop formulas (1992)

by Keehang Kwon, Gopalan Nadathur
Venue:In Proceedings of the Workshop on the Prolog Programming Language