General logical databases and programs: default logic semantics and stratification (1991)

by N Bidoit, C Froidevaux
Venue:Inform. and Comput