| Original language | English |
|---|---|
| Pages (from-to) | 526-535 |
| Journal | Journal of Computer Science and Technology |
| Volume | 20 |
| Issue number | 4 |
| Publication status | Published - 2005 |
LFTOP: an LF-based approach to domain-specific reasoning
Jianmin Pang, Paul Callaghan, Zhaohui Luo
Research output: Contribution to journal › Article › peer-review