Two systems for proving tautologies, based on the split method (1983)

by E Dantsin
Venue:J. Sov. Math