Pang, J., Callaghan, P., & Luo, Z. (2005). LFTOP : an LF-based approach to domain-specific reasoning. Journal of Computer Science and Technology, 20(4), 526-535. https://doi.org/10.1007/s11390-005-0526-y