An introduction to default logic - Besnard, Philippe (Berlin : Springer-Verlag, 1989)
Bibliography : p. 195-202.
Keywords: Artificial intelligence; Logic programming; Logic