@article {IOPORT.50296232,
    author       = {Miller, Zevi and Sudborough, Ivan Hal},
    title        = {A polynomial algorithm for recognizing bounded cutwidth in hypergraphs},
    year         = {1991},
    journal      = {Mathematical Systems Theory},
    volume       = {24},
    number       = {1},
    pages        = {11-40},
    doi          = {10.1007/BF02090388},
    identifier   = {50296232},
}