Yih-Kuen Tsay, Bow-Yaw Wang. Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. In Oscar H. Ibarra, Bala Ravikumar, editors, Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings. Volume 5148 of Lecture Notes in Computer Science, pages 36-45, Springer, 2008. [doi]