1. Lattice Theory;Birkhoff,1984
2. Algebraizable logics;Blok;Memoirs of the American Mathematical Society,1989
3. Towards intuitionistic dynamic logic;Degen,2007
4. Termination in modal Kleene algebra;Desharnais,2004
5. Kleene algebra with domain;Desharnais;ACM Transactions on Computational Logic,2006