Yih-Kuen Tsay, Bow-Yaw Wang. Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. Int. J. Found. Comput. Sci., 20(4):747-762, 2009. [doi]
@article{TsayW09, title = {Automated Compositional Reasoning of Intuitionistically Closed Regular Properties}, author = {Yih-Kuen Tsay and Bow-Yaw Wang}, year = {2009}, doi = {10.1142/S0129054109006851}, url = {http://dx.doi.org/10.1142/S0129054109006851}, tags = {composition}, researchr = {https://researchr.org/publication/TsayW09}, cites = {0}, citedby = {0}, journal = {Int. J. Found. Comput. Sci.}, volume = {20}, number = {4}, pages = {747-762}, }