TY  - RPRT
TI  - Deterministic Consistency Checking of LP Constraints
AU  - Suresh Manandhar
PY  - 1995
UR  - https://arxiv.org/abs/cmp-lg/9502017
ID  - cmp-lg/9502017
ER  -