Worst-case groundness analysis using definite Boolean functions
- Genaim, S.
- Codish, M.
- Howe, J.M.
ISSN: 1471-0684
Datum der Publikation: 2001
Ausgabe: 1
Nummer: 5
Seiten: 611-615
Art: Artikel
ISSN: 1471-0684
Datum der Publikation: 2001
Ausgabe: 1
Nummer: 5
Seiten: 611-615
Art: Artikel