BeierleKW04'

BibTeX

@inproceedings{DBLP:conf/wlp/BeierleKW04,
  author    = {Christoph Beierle and
               Marija Kulas and
               Manfred Widera},
  title     = {A Pragmatic Approach to Pre-testing Prolog Programs},
  booktitle = {INAP/WLP},
  year      = {2004},
  pages     = {294-308},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3392{\&}spage=294},
  crossref  = {DBLP:conf/wlp/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wlp/2004,
  editor    = {Dietmar Seipel and
               Michael Hanus and
               Ulrich Geske and
               Oskar Bartenstein},
  title     = {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},
  booktitle = {INAP/WLP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3392},
  year      = {2005},
  isbn      = {3-540-25560-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}