Yves Auffray Patrice Enjalbert Jean-Jacques Hébrard Strategies for Modal Resolution: Results and Problems. 1-38 1990 6 J. Autom. Reasoning 1 db/journals/jar/jar6.html#AuffrayEH90 http://dx.doi.org/10.1007/BF00302639