@techreport{R-91-12,
TITLE = {Enriching Prolog With S-unification},
AUTHOR = {Andreas K{\aa}gedal and Feliks Kluz'niak},
YEAR = {1991},
NUMBER = {R-91-12},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACT = {},
IDANR = {LiTH-IDA-R-91-12},
NOTE = {Also in "Phoenix" Seminar on Declarative Programming, Hohritt, Germany, November 1991, Springer-Verlag, LNCS}