@techreport{R-91-33,
TITLE = {A Decision Procedure for a Subtheory of Linear Arithmetic with Lists},
AUTHOR = {Laurent Fribourg},
YEAR = {1991},
NUMBER = {R-91-33},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACT = {},
IDANR = {LiTH-IDA-R-91-33}