Seref Mirasyedioglu Tolga Güyer A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG. 65-75 2006 176 Applied Mathematics and Computation 1 http://dx.doi.org/10.1016/j.amc.2005.09.081 db/journals/amc/amc176.html#MirasyediogluG06