@inproceedings{KernIsbernerBeierleDusso2005Dagstuhl,
  author    = {C. Beierle and
               O. Dusso and
               G. Kern-Isberner},
  title     = {Modelling and Implementing a Knowledge Base for Checking
               Medical Invoices with {DLV}.},
  editor    = {G. Brewka and
               I. Niemel{\"a} and
               T. Schaub and
               M. Truszczynski},
  booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints},
  ee        = {http://drops.dagstuhl.de/opus/volltexte/2005/261},
  publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI),
               Schloss Dagstuhl, Germany},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {05171},
  year      = {2005}
}