Home
DCC eCatalog
R.__Bruni
Bisimilarity congruences for open terms and term graphs via tile logic
