Michaël Rusinowitch
Jieh Hsiang and Michaël Rusinowitch.
Proving refutational completeness of theorem-proving strategies: The transfinite semantic tree method.
Journal of the ACM
, 38(3):559-587, July 1991.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database