| |
| 1991 | ||
|---|---|---|
| 3 | Laurent Catach: TABLEAUX: A General Theorem Prover for Modal Logics. J. Autom. Reasoning 7(4): 489-510 (1991) | |
| 1988 | ||
| 2 | Laurent Catach: Normal Multimodal Logics. AAAI 1988: 491-495 | |
| 1986 | ||
| 1 | Jean Fargues, Marie-Claude Landau, Anne Dugourd, Laurent Catach: Conceptual Graphs for Semantics and Knowledge Processing. IBM Journal of Research and Development 30(1): 70-79 (1986) | |
| 1 | Anne Dugourd | [1] |
| 2 | Jean Fargues | [1] |
| 3 | Marie-Claude Landau | [1] |