Constraint logic programming with hereditary Harrop formulas
- Leach, J
- Nieva, S
- RodriguezArtalejo, M
- Maluszynski, J (coord.)
ISSN: 1061-0464
ISBN: 0-262-63180-6
Year of publication: 1997
Pages: 307-321
Congress: 1997 International Logic Programming Symposium (ILPS 97)
Type: Conference paper