David A. Briggs
David A. Briggs.
A correction of the termination conditions of the Henschen-Naqvi technique.
Journal of the ACM
, 37(4):712-719, October 1990.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database