author = {Alberti, Marco and Zese, Riccardo and Riguzzi, Fabrizio and Lamma, Evelina},
  year = {2022},
  title = {{An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols}},
  editor = {Lierler, Yuliya and Morales, Jose F. and Dodaro, Carmine and Dahl, Veronica and Gebser, Martin and Tekle, Tuncay},
  booktitle = {Proceedings of the 38th International Conference on
               Logic Programming (Technical Communications)},
  series = {Electronic Proceedings in Theoretical Computer Science},
  issn = {2075-2180},
  volume = {364},
  publisher = {Open Publishing Association},
  address = {Waterloo, Australia},
  pages = {65-78},
  doi = {10.4204/EPTCS.364.7},
  url = {https://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2022.7},
  pdf = {https://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2022.7.pdf}

This file was generated by bibtex2html 1.98.