1. Unification in modal and description logics;Baader;Log. J. IGPL,2011
2. Unification theory;Baader,2001
3. Modal Logic;Chagrow,1997
4. Structurally complete superintuitionistic logics and primitive varieties of pseudo-Boolean algebras;Citkin;Mat. Issled.,1987