Applying Algebraic Logic to Logic.

Hajnal Andréka István Németi Ildikó Sain Applying Algebraic Logic to Logic. 5-26 1993 conf/amast/1993 AMAST db/conf/amast/amast93.html#AndrekaNS93