Termination analysis of logic programs through combination of type-based norms
- Bruynooghe, M.
- Codish, M.
- Gallagher, J.P.
- Genaim, S.
- Vanhoof, W.
ISSN: 1558-4593, 0164-0925
Year of publication: 2007
Volume: 29
Issue: 2
Type: Article
ISSN: 1558-4593, 0164-0925
Year of publication: 2007
Volume: 29
Issue: 2
Type: Article