Filippo Bonchi, Fabio Zanasi. Saturated Semantics for Coalgebraic Logic Programming. In Reiko Heckel, Stefan Milius, editors, Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Volume 8089 of Lecture Notes in Computer Science, pages 80-94, Springer, 2013. [doi]
@inproceedings{BonchiZ13, title = {Saturated Semantics for Coalgebraic Logic Programming}, author = {Filippo Bonchi and Fabio Zanasi}, year = {2013}, doi = {10.1007/978-3-642-40206-7_8}, url = {http://dx.doi.org/10.1007/978-3-642-40206-7_8}, researchr = {https://researchr.org/publication/BonchiZ13}, cites = {0}, citedby = {0}, pages = {80-94}, booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings}, editor = {Reiko Heckel and Stefan Milius}, volume = {8089}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-40205-0}, }