@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"
}