Book Chapter

Herbrand constraints in HAL

B Demoen, MG de la Banda, W Harvey, K Marriott, D Overton, PJ Stuckey

Lecture Notes in Artificial Intelligence | SPRINGER-VERLAG BERLIN | Published : 2004