Conditional dependencies for horizontal decompositions (1983)

by P D Bra, J Paredaens
Venue:In Colloquium on Automata, Languages and Programming. 67–82