BibTeX record conf/agp/NieuwenborghV03

download as .bib file

@inproceedings{DBLP:conf/agp/NieuwenborghV03,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Ordered Programs as Abductive Systems},
  booktitle = {{APPIA-GULP-PRODE}},
  pages     = {374--385},
  year      = {2003}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics