@techreport{R-91-28,
TITLE = {SPILL: A Specification Language Based on Logic Programming},
AUTHOR = {Feliks Kluz'niak},
YEAR = {1991},
NUMBER = {R-91-28},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACT = {},
IDANR = {LiTH-IDA-R-91-28}