TY  - RPRT
TI  - Smodels: A System for Answer Set Programming
AU  - Ilkka Niemela
AU  - Patrik Simons
AU  - Tommi Syrjanen
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003033
ID  - cs/0003033
ER  -