Jian-Min Pang, Paul Callaghan, Zhaohui Luo. ::::LFTOP::::: An ::::LF::::-Based Approach to Domain-Specific Reasoning. J. Comput. Sci. Technol., 20(4):526-535, 2005. [doi]
@article{PangCL05, title = {::::LFTOP::::: An ::::LF::::-Based Approach to Domain-Specific Reasoning}, author = {Jian-Min Pang and Paul Callaghan and Zhaohui Luo}, year = {2005}, doi = {10.1007/s11390-005-0526-y}, url = {http://dx.doi.org/10.1007/s11390-005-0526-y}, tags = {rule-based, systematic-approach}, researchr = {https://researchr.org/publication/PangCL05}, cites = {0}, citedby = {0}, journal = {J. Comput. Sci. Technol.}, volume = {20}, number = {4}, pages = {526-535}, }