Optimization techniques for propositional intuitionistic logic and their implementation.

Alessandro Avellone Guido Fiorino Ugo Moscato Optimization techniques for propositional intuitionistic logic and their implementation. 41-58 2008 409 Theor. Comput. Sci. 1 http://dx.doi.org/10.1016/j.tcs.2008.08.013 db/journals/tcs/tcs409.html#AvelloneFM08