The Tecton Proof System.

Deepak Kapur David R. Musser Xumin Nie

Published in: Formal Methods in Databases and Software Engineering (1992)

Keyphrases

modal logic
model checking
model checker
clause learning
intuitionistic logic
linear time temporal logic
databases
data mining
association rules
inference rules
proof search