Smodels: a System for Answer Set Programming (2000)
AUTHORS:
Niemelä Ilkka , Simons Patrik , Syrjänen Tommi
BOOKTITLE:
@inproceedings{ NSS2000:nmr_ini, author = {Niemel{\"a}, Ilkka and Simons, Patrik and Syrj{\"a}nen, Tommi}, publisher = "", title = "{Smodels}: a System for Answer Set Programming", booktitle = "Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073)", year = "2000", month = "April", note = "cs.AI/0003033", address = "Breckenridge, Colorado, USA", organization = "", pages = "" }