@INPROCEEDINGS{Vilim2005Explantions,
  author = {Petr Vil\'{\i}m},
  title = {Computing Explanations for the Unary Resource Constraint},
  year = {2005},
  pages = {396-409},
  ee = {http://dx.doi.org/10.1007/11493853_29},
  editor = {Roman Bart{\'a}k and Michela Milano},
  booktitle  = {Integration of AI and OR Techniques in Constraint Programming
               for Combinatorial Optimization Problems, Second International
               Conference, CPAIOR 2005, Prague, Czech Republic, May 30
               - June 1, 2005},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3524},
  year = {2005},
  isbn = {3-540-26152-4},
  url = {http://vilim.eu/petr/cpaior2005.pdf}
}