@inproceedings{Niemela:JELIA2006,
author = {Ilkka Niemel{\"a}},
booktitle = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence},
pages = {15--18},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Answer Set Programming: A Declarative Approach to Solving Search Problems},
volume = {4160},
year = {2006},
}