%0 Conference Paper %1 conf/slp/BonacinaH90 %A Bonacina, Maria Paola %A Hsiang, Jieh %B NACLP %D 1990 %E Debray, Saumya K. %E Hermenegildo, Manuel V. %I MIT Press %K dblp %P 449-464 %T Operational and Denotational Semantics of Rewrite Programs. %U http://dblp.uni-trier.de/db/conf/slp/slp90.html#BonacinaH90 %@ 0-262-54058-4

@inproceedings{conf/slp/BonacinaH90, added-at = {2013-12-04T00:00:00.000+0100}, author = {Bonacina, Maria Paola and Hsiang, Jieh}, biburl = {https://www.bibsonomy.org/bibtex/25d8cf7954e4c1b09c9524fd5b50ab6ce/dblp}, booktitle = {NACLP}, crossref = {conf/slp/1990}, editor = {Debray, Saumya K. and Hermenegildo, Manuel V.}, interhash = {33361dc128a26b6551b04aa8bb04539e}, intrahash = {5d8cf7954e4c1b09c9524fd5b50ab6ce}, isbn = {0-262-54058-4}, keywords = {dblp}, note = {long version: JLP 14(1&2): 155-188 (1992)}, pages = {449-464}, publisher = {MIT Press}, timestamp = {2013-12-05T11:34:20.000+0100}, title = {Operational and Denotational Semantics of Rewrite Programs.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp90.html#BonacinaH90}, year = 1990 }