The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation

Abstract

This paper contains the description of algorithms and their implementations, the foundations and background of which are presented in Part I of this paper [1].