APA (7th ed.) Citation

With, L. (1989). Multi-sort variables: A new concept for order-sorted unification.

Chicago Style (17th ed.) Citation

With, Lars. Multi-sort Variables: A New Concept for Order-sorted Unification. Berlin, 1989.

MLA (9th ed.) Citation

With, Lars. Multi-sort Variables: A New Concept for Order-sorted Unification. 1989.

Warning: These citations may not always be 100% accurate.