Constraint Logic Programming with Hereditary Harrop formulas
ISSN: 1471-0684
Année de publication: 2001
Volumen: 1
Número: 4
Pages: 409-445
Type: Article
ISSN: 1471-0684
Année de publication: 2001
Volumen: 1
Número: 4
Pages: 409-445
Type: Article