Noriaki Yoshiura. Formal Definition of Relevant Logical Symbol Occurrence. In Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II. Volume 5178 of Lecture Notes in Computer Science, pages 508-516, Springer, 2008. [doi]