Bisimilarity congruences for open terms and term graphs via Tile Logic (2000)

by R Bruni, D de Frutos-Escrig, N Martí-Oliet, U Montanari
Venue:In CONCUR’00