| 1998 | ||
|---|---|---|
| 2 | Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Automatically Proving Program Properties. J. Log. Program. 37(1-3): 77-93 (1998) | |
| 1996 | ||
| 1 | Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Proving Program Properties. Frontiers of Combining Systems (FroCos) 1996: 321-338 | |
| 1 | Sébastien Hoarau | [1] [2] |
| 2 | Frédéric Mesnard | [1] [2] |