Handbook of automated reasoning - Robinson Alan; Voronkov Andrei (Amsterdam Elsevier, 2001)
Keywords: Automatic theorem proving; Qualitative reasoning