System for determining propositional logic theorems by applying values and rules to triplets that are generated from boolean formula (1994)

by G St˚almarck