@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}