TY  - RPRT
TI  - XNMR: A tool for knowledge bases exploration
AU  - L. Castro
AU  - D. Warren
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003057
ID  - cs/0003057
ER  -