no code implementations • 16 Jan 2014 • Johan Wittocx, Maarten Mariën, Marc Denecker
We first present our method for classical first-order logic (FO) theories.