Worst-case groundness analysis using definite Boolean functions
- Genaim, S.
- Codish, M.
- Howe, J.M.
ISSN: 1471-0684
Ano de publicación: 2001
Volume: 1
Número: 5
Páxinas: 611-615
Tipo: Artigo
ISSN: 1471-0684
Ano de publicación: 2001
Volume: 1
Número: 5
Páxinas: 611-615
Tipo: Artigo