Designing a Safe Forward Chaining Tactic Using Productive Proofs.

Kaustuv Chaudhuri, Arunava Gantait, Dale Miller

Browse the full TABLEAUX paper archive.