"Extension and Implementation of CHR."

Peter Van Weert (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics