Improvements to the Evaluation of Quanti Boolean Formulae (0)

by J Rintanen