Roberto Bruni, Ugo Montanari, Giorgio Mossa. A Coalgebraic Approach to Unification Semantics of Logic Programming. In Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Volume 11760 of Lecture Notes in Computer Science, pages 223-240, Springer, 2019. [doi]
Abstract is missing.