::::LFTOP::::: An ::::LF::::-Based Approach to Domain-Specific Reasoning

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]

Abstract

Abstract is missing.