Al-Jassani, ban Adil, Urquhart, Neil B, Almaini, A E A, "Manipulation and optimization techniques for Boolean logic", , 2010