Approche logique des systèmes d'inférence non-monotones en intelligence artificielle - Besnard, Philippe (1990)
Rennes, Univ., Habil.-Schr.