Christo Dichev Trendafil Madarov Propositional Contexts. 101-110 http://link.springer.de/link/service/series/0558/bibs/1904/19040101.htm 2000 conf/aimsa/2000 AIMSA db/conf/aimsa/aimsa2000.html#DichevM00