Natanael Stalmarck. Method and apparatus for checking propositional logic theorems in system analysis (1990)

by Gunnar Martin