TY  - RPRT
TI  - Clausal Temporal Resolution
AU  - Michael Fisher
AU  - Clare Dixon
AU  - Martin Peim
PY  - 2000
UR  - https://arxiv.org/abs/cs/9907032
ID  - cs/9907032
ER  -