BibTex Entry "LeMenzel05"

Constraint-based error diagnosis in logic programming
  author = {Le, N. T. and Menzel, W.},
  title = {Constraint-based error diagnosis in logic programming},
  booktitle = {Towards Sustainable and Scalable Educational Innovations
                  Informed by the Learning Sciences - Sharing Good Practices of
                  Research, Experimentation and Innovation},
  publisher = {IOS Press},
  year = 2005,
  editor = {D. Jonassen and C.-K. Looi and M. Ikeda},
  pages = {220 -- 227}