@Inproceedings{EPTCS364.7,
  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 = {{\rm Proceedings 38th International Conference on}
               Logic Programming,
               {\rm Haifa, Israel, 31st July 2022 - 6th August 2022}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {364},
  publisher = {Open Publishing Association},
  pages     = {65-78},
  doi       = {10.4204/EPTCS.364.7},
}