With, L. (1989). Multi-sort variables: A new concept for order-sorted unification.
Chicago-Zitierstil (17. Ausg.)With, Lars. Multi-sort Variables: A New Concept for Order-sorted Unification. Berlin, 1989.
MLA-Zitierstil (9. Ausg.)With, Lars. Multi-sort Variables: A New Concept for Order-sorted Unification. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.