TY  - RPRT
TI  - Interactive Error Correction in Implicative Theories
AU  - Sergei O. Kuznetsov
AU  - Artem Revenko
PY  - 2014
UR  - https://arxiv.org/abs/1410.5215
ID  - 1410.5215
ER  -