Logic programming with polymorphically order-sorted types (1988)

by G Smolka
Venue:In: Proc. of the 1st Int’l Workshop on Algebraic and Logic Programming. Springer LNCS 343