Advances in constraint handling rules

Marc Meister. Advances in constraint handling rules. PhD thesis, University of Ulm, 2008.

Abstract

Abstract is missing.