Vladimir V. Rybakov. Chance Discovery and Unification in Linear Modal Logic. In Andreas König, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain, editors, Knowlege-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II. Volume 6882 of Lecture Notes in Computer Science, pages 478-485, Springer, 2011. [doi]
Abstract is missing.