Rakesh M. Verma
Rakesh M. Verma.
A theory of using history for equational systems with applications.
Journal of the ACM
, 42(5):984-1020, September 1995.
Abstract, References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database