A Tableau Calculus for Minimal Model Reasoning (1996)

AUTHORS:

Niemelä Ilkka

  • INSTITUTION:
  • Universit\"at Koblenz-Landau