Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations (1998)

AUTHORS:

Dix Jurgen , Furbach Ulrich , Niemelä Ilkka

  • INSTITUTION:
  • Universit\"at Koblenz-Landau