Paul De Bra Jan Paredaens An Algorithm for Horizontal Decompositions. 91-95 1983 17 Inf. Process. Lett. 2 db/journals/ipl/ipl17.html#BraP83 http://dx.doi.org/10.1016/0020-0190(83)90077-7