Logic programming with polymorphically order-sorted types. Pages 53–70 of: Algebraic and logic programming ALP’88 (1988)

by G Smolka