Agostino Dovier. Set Graphs VI: Logic Programming and Bisimulation. In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. Volume 1195 of CEUR Workshop Proceedings, pages 14-29, CEUR-WS.org, 2014. [doi]
@inproceedings{Dovier14, title = {Set Graphs VI: Logic Programming and Bisimulation}, author = {Agostino Dovier}, year = {2014}, url = {http://ceur-ws.org/Vol-1195/long1.pdf}, researchr = {https://researchr.org/publication/Dovier14}, cites = {0}, citedby = {0}, pages = {14-29}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, volume = {1195}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }