Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tplp/BrassDFZ01,
  author       = {Stefan Brass and
                  J{\"{u}}rgen Dix and
                  Burkhard Freitag and
                  Ulrich Zukowski},
  title        = {Transformation-based bottom-up computation of the well-founded model},
  journal      = {Theory Pract. Log. Program.},
  volume       = {1},
  number       = {5},
  pages        = {497--538},
  year         = {2001},
  url          = {https://doi.org/10.1017/S147106840100103X},
  doi          = {10.1017/S147106840100103X},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BrassDFZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0011013,
  author       = {Stefan Brass and
                  J{\"{u}}rgen Dix and
                  Burkhard Freitag and
                  Ulrich Zukowski},
  title        = {Transformation-Based Bottom-Up Computation of the Well-Founded Model},
  journal      = {CoRR},
  volume       = {cs.LO/0011013},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0011013},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0011013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmelp/BrassZF96,
  author       = {Stefan Brass and
                  Ulrich Zukowski and
                  Burkhard Freitag},
  editor       = {J{\"{u}}rgen Dix and
                  Lu{\'{\i}}s Moniz Pereira and
                  Teodor C. Przymusinski},
  title        = {Transformation-Based Bottom-Up Computation of the Well-Founded Model},
  booktitle    = {Non-Monotonic Extensions of Logic Programming, {NMELP} '96, Bad Honnef,
                  Germany, September 5-6, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1216},
  pages        = {171--201},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0023807},
  doi          = {10.1007/BFB0023807},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nmelp/BrassZF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}