Christine Froidevaux
Nicole Bidoit and Christine Froidevaux.
General logical databases and programs: Default logic semantics and stratification.
Information and Computation
, 91(1):15-54, March 1991.
Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database