@INPROCEEDINGS{MPB-JH:NACLP1990:rewprog,
AUTHOR = "Maria Paola Bonacina and Jieh Hsiang",
TITLE = "Operational and denotational semantics of rewrite programs",
BOOKTITLE = "Proceedings of the North American Conference on Logic Programming",
EDITOR = "Saumya Debray and Hermenegildo, Manuel",
PUBLISHER = "MIT Press",
PAGES = "449--464",
SERIES = "Logic Programming Series",
MONTH = "October",
YEAR = 1990}