A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases

Andreas Behrend. A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases. In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers. Volume 7773 of Lecture Notes in Computer Science, pages 77-92, Springer, 2011. [doi]

@inproceedings{Behrend11,
  title = {A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases},
  author = {Andreas Behrend},
  year = {2011},
  doi = {10.1007/978-3-642-41524-1_5},
  url = {http://dx.doi.org/10.1007/978-3-642-41524-1_5},
  researchr = {https://researchr.org/publication/Behrend11},
  cites = {0},
  citedby = {0},
  pages = {77-92},
  booktitle = {Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers},
  editor = {Hans Tompits and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf},
  volume = {7773},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-41523-4},
}