Simon Andrews. A Partial-Closure Canonicity Test to Increase the Efficiency of CbO-Type Algorithms. In Nathalie Hernandez, Robert Jäschke, Madalina Croitoru, editors, Graph-Based Representation and Reasoning - 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings. Volume 8577 of Lecture Notes in Computer Science, pages 37-50, Springer, 2014. [doi]
Abstract is missing.