Çigdem Gencer Dick De Jongh Unifiability in extensions of K4. 159-172 2009 17 Logic Journal of the IGPL 2 http://dx.doi.org/10.1093/jigpal/jzn032 db/journals/igpl/igpl17.html#GencerJ09