doi dblp On the run-time optimization of the Boolean logic of a program C. Cadolino | M. Guazzo 1982 Volume 18 Issue 5