ML Anthology

Quinton, Patrice

1 publications

AAAI 1983 A Theorem-Prover for a Decidable Subset of Default Logic Philippe Besnard, Rene Quiniou, Patrice Quinton