Synthesis of Proof Procedures for Default Reasoning.

Phan Minh Dung, Robert A. Kowalski, Francesca Toni

Browse the full LOPSTR paper archive.