Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments.

Khalil Ben Mohamed, Michel Leclre, Marie-Laure Mugnier

Browse the full AIMSA paper archive.