Philippe Balbiani Emptiness Relations in Property Systems. 15-34 2001 conf/RelMiCS/2001 RelMiCS http://link.springer.de/link/service/series/0558/bibs/2561/25610015.htm db/conf/RelMiCS/RelMiCS2001.html#Balbiani01