Parsing mell proof nets (1997)

by Stefano Guerrini , Andrea Masini
Venue:In TLCA
Citations:6 - 2 self