Higher-order substitution tree indexing (2003)

by Brigitte Pientka
Venue:of Lecture Notes in Computer Science