TY  - RPRT
TI  - Evidence Algorithm and System for Automated Deduction: A Retrospective View
AU  - Alexander Lyaletski
AU  - Konstantin Verchinine
PY  - 2010
UR  - https://arxiv.org/abs/1005.4447
ID  - 1005.4447
ER  -