Cited in
(7)- MACE4 and SEM: a comparison of finite model generators
- scientific article; zbMATH DE number 1552511 (Why is no real title available?)
- 3TAP
- Automatic construction of finite algebras
- scientific article; zbMATH DE number 1926637 (Why is no real title available?)
- Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving
- MGTP: a model generation theorem prover. Its advanced features and applications
This page was built for software: MGTP
