Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. - Pascal Chambre; Pierre Deransart (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. - Pascal Chambre; Pierre Deransart; Jan Maluszynski (JFPLC, 1996)