Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu. Hyper-Extensionality and One-Node Elimination on Membership Graphs. 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 341-346, CEUR-WS.org, 2014. [doi]
Abstract is missing.