William H. Joyner, Jr.
William H. Joyner Jr.
Resolution strategies as decision procedures.
Journal of the ACM
, 23(3):398-417, July 1976.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database