"Synthesis of Proof Procedures for Default Reasoning."

Phan Minh Dung, Robert A. Kowalski, Francesca Toni (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics