Conference
Use of Unit Clauses and Clause Splitting in Automatic Deduction.
Authors
Lee S-J; Plaisted DA
Editors
Koczkodaj WW; Lauer PE; Toptsis AA
Pagination
pp. 228-232
Publisher
IEEE Computer Society
Publication Date
January 1, 1992
ISBN-10
0-8186-2812-X
Conference proceedings
ICCI