Tile bisimilarity congruences for open terms and term graphs (2000)

by R Bruni, D Frutos-Escrig, N Martí-Oliet, U Montanari