| 1992 | ||
|---|---|---|
| 4 | Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. J. Log. Comput. 2(3): 247-295 (1992) | |
| 1990 | ||
| 3 | Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard: Strategies for Modal Resolution: Results and Problems. J. Autom. Reasoning 6(1): 1-38 (1990) | |
| 1989 | ||
| 2 | Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. IJCAI 1989: 441-445 | |
| 1988 | ||
| 1 | Yves Auffray: Linear Strategy for Propositional Modal Resolution. Inf. Process. Lett. 28(2): 87-92 (1988) | |
| 1 | Patrice Enjalbert | [2] [3] [4] |
| 2 | Jean-Jacques Hébrard | [3] |