Cited in
(11)- MACE4 and SEM: a comparison of finite model generators
- System description generating models by SEM
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
- Checking depth-limited consistency and inconsistency in knowledge-based systems
- Theorem proving for classical logic with partial functions by reduction to Kleene logic
- SCOTT
- MGTP
- FALCON
- Geo 2007F
- infChecker
- Proving semantic properties as first-order satisfiability
This page was built for software: ModGen
