"On the Correctness of the Replacement Operation for CLP Modules."

Sandro Etalle, Maurizio Gabbrielli (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics