DMCA

Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Generation of CHR Constraint Solvers (2003)

by Christophe Rigotti