Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas

Browse the full IJCAI paper archive.