Manoj K. Raut, Arindama Singh: A survey on computing prime implicants and implicates in classical and non-classical logics. Comput. Syst. Sci. Eng. 29(5) (2014)