%0 Journal Article %1 journals/acta/CunninghamD85 %A Cunningham, Jim %A Dick, A. J. J. %D 1985 %J Acta Inf. %K dblp %N 2 %P 149-169 %T Rewrite Systems on a Lattice of Types. %U http://dblp.uni-trier.de/db/journals/acta/acta22.html#CunninghamD85 %V 22

@article{journals/acta/CunninghamD85, added-at = {2011-01-11T00:00:00.000+0100}, author = {Cunningham, Jim and Dick, A. J. J.}, biburl = {https://www.bibsonomy.org/bibtex/2f3c3c148ca986bcff107762633d0f60a/dblp}, ee = {http://dx.doi.org/10.1007/BF00264228}, interhash = {bfd9470317710b2f34c212ccdd207698}, intrahash = {f3c3c148ca986bcff107762633d0f60a}, journal = {Acta Inf.}, keywords = {dblp}, number = 2, pages = {149-169}, timestamp = {2011-01-12T11:32:21.000+0100}, title = {Rewrite Systems on a Lattice of Types.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta22.html#CunninghamD85}, volume = 22, year = 1985 }