An Efficient Proof Method for Non-clausal Reasoning.

Edgar Altamirano, Gonzalo Escalada-Imaz

Browse the full ISMIS paper archive.