ML Anthology

Langetepe, Elmar

1 publications

AAAI 1994 Soundness and Completeness of a Logic Programming Approach to Default Logic Grigoris Antoniou, Elmar Langetepe