@InProceedings{angelinesc05c,
   author = "C. Anger and M. Gebser and T. Linke and A. Neumann and
                   T. Schaub",
   title = "The \texttt{nomore++} approach to answer set solving",
   booktitle = "Proceedings of the Twelfth International Conference on
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'05)",
   editor = "G. Sutcliffe and A. Voronkov",
   series = "Lecture Notes in Computer Science",
   volume = 3835,
   publisher = "Springer-Verlag",
   pages = "95-109",
   year = 2005
}