Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. - Gabriele Kern-Isberner; Christoph Beierle; Oliver Dusso (Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005)

Using Answer Set Programming for a Decision Support System. - Christoph Beierle; Oliver Dusso; Gabriele Kern-Isberner (LPNMR, 2005)