@inproceedings{989675c22f8f45898d4f8175ed21b854,
title = "Simple Type Inference for Term Graph Rewriting Systems",
author = "Richard Banach and Micha{\"e}l Rusinowitch and Jean-Luc Remy",
year = "1992",
language = "English",
isbn = "3-540-56393-8",
volume = "656",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "51--66",
editor = "Micha{\"e}l Rusinowitch and Jean-Luc Remy",
booktitle = "CTRS",
address = "United States",
note = "Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-{\`a}-Mousson, France, July 8-10, 1992, Proceedings ; Conference date: 01-01-1824",
url = "http://dblp.uni-trier.de/db/conf/ctrs/ctrs92.html#Banach92http://dblp.uni-trier.de/rec/bibtex/conf/ctrs/Banach92.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctrs/Banach92",
}