@Article{BM88, Author = "Boyer, R. and Moore J.", Year = "1988", Title = "{Integrating Decision Procedures into Heuristic Theorem Provers: A Case Study of Linear Arithmetic}", Journal = "Machine Intelligence", Volume = "11", Pages = "83-124", Comment = "TPTPRef" }