lp2cpp: A Tool For Compiling Stratified Logic Programs

Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca. lp2cpp: A Tool For Compiling Stratified Logic Programs. In Floriana Esposito, Roberto Basili 0001, Stefano Ferilli, Francesca A. Lisi, editors, AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. Volume 10640 of Lecture Notes in Computer Science, pages 200-212, Springer, 2017. [doi]

@inproceedings{CuteriRR17,
  title = {lp2cpp: A Tool For Compiling Stratified Logic Programs},
  author = {Bernardo Cuteri and Alessandro Francesco De Rosis and Francesco Ricca},
  year = {2017},
  doi = {10.1007/978-3-319-70169-1_15},
  url = {https://doi.org/10.1007/978-3-319-70169-1_15},
  researchr = {https://researchr.org/publication/CuteriRR17},
  cites = {0},
  citedby = {0},
  pages = {200-212},
  booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings},
  editor = {Floriana Esposito and Roberto Basili 0001 and Stefano Ferilli and Francesca A. Lisi},
  volume = {10640},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-70169-1},
}