@inproceedings{RTA-1997-OgataOF,
author = "Kazuhiro Ogata and Koichi Ohhara and Kokichi Futatsugi",
booktitle = "{Proceedings of the Eighth International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/3-540-62950-5_84",
editor = "Hubert Comon",
isbn = "3-540-62950-5",
pages = "335--338",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems}",
volume = 1232,
year = 1997,
}
Tags: