C. R. Reddy
D. W. Loveland and C. R. Reddy.
Deleting repeated goals in the problem reduction format.
Journal of the ACM
, 28(4):646-661, October 1981.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database