"General Logical Databases and Programs: Default Logic Semantics and ..."

Nicole Bidoit, Christine Froidevaux (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics