Yves Auffray Patrice Enjalbert Modal Theorem Proving: An Equational Viewpoint. 247-295 1992 2 J. Log. Comput. 3 db/journals/logcom/logcom2.html#AuffrayE92