Kai Brünnler Dieter Probst Thomas Studer On contraction and the modal fragment. 345-349 2008 54 Math. Log. Q. 4 http://dx.doi.org/10.1002/malq.200710043 db/journals/mlq/mlq54.html#BrunnlerPS08