@article{Guttag-Kapur-Musser/83,
AUTHOR = {Guttag, J.V. and Kapur, D. and Musser, D.R.},
TITLE = {On proving uniform termination and restricted termination of rewriting systems},
JOURNAL = {SIAM J. Comput.},
VOLUME = {12},
PAGES = {189-214},
YEAR = {1983},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Lab. for Computer Sci., MIT, Cambridge, MA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Papadimitriou/83,
AUTHOR = {Papadimitriou, C.H.},
TITLE = {Concurrency control by locking},
JOURNAL = {SIAM J. Comput.},
VOLUME = {12},
PAGES = {215-226},
YEAR = {1983},
PUBLISHER = {Society for Industrial and Applied Mathematics},
ADDRESS = {Philadelphia, PA},
}
@article{Choy-Wong/83,
AUTHOR = {Choy, D.M. and Wong, C.K.},
TITLE = {Construction of optimal $\alpha-\beta$ leaf trees with applications to prefix code and information retrieval},
JOURNAL = {SIAM J. Comput.},
VOLUME = {12},
PAGES = {426-446},
YEAR = {1983},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {IBM Res. Lab., San Jose, CA, USA},
ADDRESS = {Philadelphia, PA},
}