Alasdair Urquhart
Alasdair Urquhart.
Hard examples for resolution.
Journal of the ACM
, 34(1):209-219, January 1987.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database