@article{Niemela99:amai,
author = {Ilkka Niemel{\"a}},
journal = {Annals of Mathematics and Artificial Intelligence},
number = {3,4},
pages = {241--273},
title = {Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm},
volume = {25},
year = {1999},
}