CLP(chi) for Proving Program Properties. - Frédéric Mesnard; Sébastien Hoarau; Alexandra Maillard (FroCoS, 1996)

CLP(chi) for Automatically Proving Program Properties. - Frédéric Mesnard; Sébastien Hoarau; Alexandra Maillard (J. Log. Program., 1998)