Jixue Liu Millist W. Vincent Containment and disjointedness in partitioned normal form relations. 325-342 2002 38 Acta Inf. 5 http://link.springer.de/link/service/journals/00236/bibs/2038005/20380325.htm db/journals/acta/acta38.html#LiuV02