Harry R. Lewis
Harry R. Lewis.
Renaming a set of clauses as a Horn set.
Journal of the ACM
, 25(1):134-135, January 1978.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database