Efficient Implementation of the Well-founded and Stable Model Semantics (1996)

AUTHORS:

Niemelä Ilkka , Simons P.

  • INSTITUTION:
  • Universit\"at Koblenz-Landau