Brian S. Leininger
Oscar H. Ibarra and Brian S. Leininger.
On the simplification and equivalence problems for straight-line programs.
Journal of the ACM
, 30(3):641-656, July 1983.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database