Jean-Louis Lassez Ken McAloon Independence of Negative Constraints. 19-27 1989 conf/tapsoft/1989-1 TAPSOFT, Vol.1 db/conf/tapsoft/tapsoft89-1.html#LassezM89 http://dx.doi.org/10.1007/3-540-50939-9_122