Bisimilarity of Open Terms (2000)

by Arend Rensink
Citations:22 - 0 self