%0 Journal Article %1 journals/fuin/Bakel96 %A van Bakel, Steffen %D 1996 %J Fundam. Informaticae %K dblp %N 2 %P 141-166 %T Rank 2 Intersection Type Assignment in Term Rewriting Systems. %U http://dblp.uni-trier.de/db/journals/fuin/fuin26.html#Bakel96 %V 26

@article{journals/fuin/Bakel96, added-at = {2020-09-18T00:00:00.000+0200}, author = {van Bakel, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/24996eec85ddd63d663bdb107a0584c5d/dblp}, ee = {https://doi.org/10.3233/FI-1996-26204}, interhash = {f3bab64ac33aafec6291bffddda0c2cf}, intrahash = {4996eec85ddd63d663bdb107a0584c5d}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 2, pages = {141-166}, timestamp = {2020-09-19T11:36:09.000+0200}, title = {Rank 2 Intersection Type Assignment in Term Rewriting Systems.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin26.html#Bakel96}, volume = 26, year = 1996 }