With, L. (1989). Linear order-sorted unification. Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4.
Chicago Style (17th ed.) CitationWith, Lars. Linear Order-sorted Unification. Berlin: Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, 1989.
MLA (9th ed.) CitationWith, Lars. Linear Order-sorted Unification. Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, 1989.
Warning: These citations may not always be 100% accurate.