Dimitris Magos, Ioannis Mourtos, Leonidas S. Pitsoulis. Consistency of the Matching Predicate. In Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis, editors, Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings. Volume 3955 of Lecture Notes in Computer Science, pages 555-558, Springer, 2006. [doi]
Abstract is missing.