A fast algorithm for renaming a set of clauses as a horn set
Heikki Mannila, Kurt MehlhornVolume:
21
Year:
1985
Language:
english
Pages:
4
DOI:
10.1016/0020-0190(85)90096-1
File:
PDF, 282 KB
english, 1985