Evidence Algorithm and System for Automated Deduction: A Retrospective View.

Alexander V. Lyaletski, Konstantin Verchinine

Browse the full AISC paper archive.