@inproceedings{Niemela:ISAIM08,
author = {Ilkka Niemel{\"a}},
booktitle = {Proceedings of the Tenth International Symposium on Artificial Intelligence and Mathematics},
note = {The proceedings available at \url{http://isaim2008.unl.edu/index.php?page=proceedings}},
pages = {5 p.},
title = {Stable Models and Difference Logic},
year = {2008},
}