Attilio Giordana, Lorenza Saitta. On-Line Estimation of Matching Complexity in First Order Logic. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 11th International Symposium, ISMIS 99, Warsaw, Poland, June 8-11, 1999, Proceedings. Volume 1609 of Lecture Notes in Computer Science, pages 76-84, Springer, 1999.
Abstract is missing.