Stem clps$ (all stems)

2 papers:

TACAS-2002-BouquetLP #constraints #named #theorem proving

CLPS-B — A Constraint Solver for B (FB, BL, FP), pp. 188–204.

PLILP-1991-LegeardL #bibliography

Short Overview of the CLPS System (BL, EL), pp. 431–433.