Boulanger, S.Jordi, M.Smith, I.F.C.2008-01-242008-01-242008-01-241991https://infoscience.epfl.ch/handle/20.500.14299/16763245B/ICOMNon-monotonic reasoning : methods which show potential for large systemstext::conference output::conference proceedings::conference paper