@inproceedings{nmr01:sn,
address = {Vienna, Austria},
author = {Tommi Syrj\"anen and Ilkka Niemel\"a},
booktitle = {Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning},
month = {September},
publisher = {{Springer-Verlag}},
title = {The Smodels System},
year = {2001},
}