CLP (X) as a framework for action and deduction.

Elisa Bertino Maurizio Martelli Danilo Montesi CLP (X) as a framework for action and deduction. 27-29 1992 conf/cnkbs/1992 CNKBS db/conf/cnkbs/cnkbs1992.html#BertinoMM92