TY  - RPRT
TI  - On a Partial Decision Method for Dynamic Proofs
AU  - Diderik Batens
PY  - 2002
UR  - https://arxiv.org/abs/cs/0207090
ID  - cs/0207090
ER  -