@inproceedings{BeierleKulasWidera2004WLPlncs,
    AUTHOR = "C. Beierle and M. Kula\v{s} and M. Widera",
    TITLE = "A Pragmatic Approach to Pre-Testing {P}rolog Programs",
    BOOKTITLE = {Applications of Declarative Programming and 
                 Knowledge Management.
               15th International Conference on Applications of Declarative
               Programming and Knowledge Management, INAP 2004, and 18th
               Workshop on Logic Programming, WLP 2004, Potsdam, Germany,
               March 4-6, 2004, Revised Selected Papers},
    EDITOR = "D. Seipel and M. Hanus and U. Geske and O. Breitenstein",
    publisher = {Springer},
    series    = {Lecture Notes in Computer Science},
    volume    = {3392},
    year      = {2005},
    pages     = {294-308},
    isbn      = {3-540-25560-5}
   }