TY  - RPRT
TI  - Monodic temporal resolution
AU  - Anatoly Degtyarev
AU  - Michael Fisher
AU  - Boris Konev
PY  - 2003
UR  - https://arxiv.org/abs/cs/0306041
ID  - cs/0306041
ER  -