Angel Fernandez Pineda Enric Trillas Claudio Vaucheret Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices. 107-114 2000 conf/aisc/2000 AISC http://link.springer.de/link/service/series/0558/bibs/1930/19300107.htm db/conf/aisc/aisc2000.html#PinedaTV00