On Unit-Refutation Complete Formulae with Existentially Quantified Variables
BORDEAUX, L.; JANOTA, M.; MARQUES-SILVA, J.; MARQUIS, P..
On Unit-Refutation Complete Formulae with Existentially Quantified Variables.
Knowledge Representation and Reasoning Conference, North America,
may. 2012. Available at: <https://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4534>. Date accessed: 29 Mar. 2019.