TY  - RPRT
TI  - Abductive reasoning with temporal information
AU  - Sven Verdoolaege
AU  - Marc Denecker
AU  - Frank Van Eynde
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011035
ID  - cs/0011035
ER  -