The Boyer-Moore Theorem-Prover and LOTOS. - Sukhvinder S. Aujla; Matthew Fletcher (FORTE, 1988)