Arend Rensink. Bisimilarity of open terms. Electronic Notes in Theoretical Computer Science, 7:262, 1997. [doi]
@article{Rensink97, title = {Bisimilarity of open terms}, author = {Arend Rensink}, year = {1997}, url = {http://www.elsevier.com/gej-ng/31/29/23/33/23/show/Products/notes/index.htt#017}, tags = {source-to-source, open-source}, researchr = {https://researchr.org/publication/Rensink97}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {7}, pages = {262}, }