Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations (2001)

AUTHORS:

Dix Jurgen , Furbach Ulrich , Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 1241-1354