Xin Liang, Zuoquan Lin, Jan Van den Bussche. Quantitatively Evaluating Formula-Variable Relevance by Forgetting. In Osmar R. Zaïane, Sandra Zilles, editors, Advances in Artificial Intelligence, 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings. Volume 7884 of Lecture Notes in Computer Science, pages 271-277, Springer, 2013. [doi]
Abstract is missing.