Robert P. Dick: Optimal Two-Level Boolean Minimization. Encyclopedia of Algorithms 2016: 1477-1481