TY  - RPRT
TI  - Formal Consistency Checking over Specifications in Natural Languages
AU  - Rongjie Yan
AU  - Chih-Hong Cheng
AU  - Guangquan Zhang
AU  - Yesheng Chai
PY  - 2014
UR  - https://arxiv.org/abs/1405.5003
ID  - 1405.5003
ER  -