Automated Reasoning with Ordinary Assertions and Default Assumptions.

Dirk Van Heule Albert Hoogewijs Automated Reasoning with Ordinary Assertions and Default Assumptions. 193-200 2001 conf/ismvl/2001 ISMVL db/conf/ismvl/ismvl2001.html#HeuleH01 https://doi.org/10.1109/ISMVL.2001.924572 https://doi.ieeecomputersociety.org/10.1109/ISMVL.2001.924572