Ordered Programs as Abductive Systems

Davy Van Nieuwenborgh, Dirk Vermeir. Ordered Programs as Abductive Systems. In Francesco Buccafurri, editor, 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003. pages 374-385, 2003.

@inproceedings{NieuwenborghV03:0,
  title = {Ordered Programs as Abductive Systems},
  author = {Davy Van Nieuwenborgh and Dirk Vermeir},
  year = {2003},
  researchr = {https://researchr.org/publication/NieuwenborghV03%3A0},
  cites = {0},
  citedby = {0},
  pages = {374-385},
  booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003},
  editor = {Francesco Buccafurri},
}