Journal article

Optimizing compilation of constraint handling rules in HAL

C Holzbaur, MG De la Banda, PJ Stuckey, GJ Duck

Theory and Practice of Logic Programming | CAMBRIDGE UNIV PRESS | Published : 2005