Hereditary harrop formulas and logic programming (1987)

by D Miller
Venue:In: Proceedings of the VIII International Congress of Logic, Methodology, and Philosophy of Science