Smodels: a System for Answer Set Programming (2000)

AUTHORS:

Niemelä Ilkka , Simons Patrik , Syrjänen Tommi

  • BOOKTITLE: