Lengauer, T. (1984). On the Solution of Inequality Systems Relevant to IC-Layout. Journal of Algorithms, 5(3), 408-421. doi:10.1016/0196-6774(84)90020-8.