Herbrand Constraint Solving in HAL

Bart Demoen, Maria J. GarcĂ­a de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey. Herbrand Constraint Solving in HAL. In ICLP. pages 260-274, 1999.

Abstract

Abstract is missing.