Vijay Chandru
V. Chandru and J. N. Hooker.
Extended Horn sets in propositional logic.
Journal of the ACM
, 38(1):205-221, January 1991.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database