The ICS Decision Procedures for Embedded Deduction.

Leonardo Mendonça de Moura Sam Owre Harald Rueß John M. Rushby Natarajan Shankar

Published in: IJCAR (2004)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
inference rules
theorem prover
reasoning problems
first order logic
model theoretic
database
conjunctive queries
query containment
data mining
presburger arithmetic