Rona B. Stillman
Rona B. Stillman.
The concept of weak substitution in theorem-proving.
Journal of the ACM
, 20(4):648-667, October 1973.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database