| |
| 1988 | ||
|---|---|---|
| 3 | Ana R. Cavalli, Etienne Paul: Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin. Distributed Computing 2(4): 213-225 (1988) | |
| 1985 | ||
| 2 | Etienne Paul: Equational Methods in First Order Predicate Calculus. J. Symb. Comput. 1(1): 7-29 (1985) | |
| 1984 | ||
| 1 | Etienne Paul: A New Interpretation of the Resolution Principle. CADE 1984: 333-355 | |
| 1 | Ana R. Cavalli | [3] |