Bottom-up tree acceptors (1990)

by C Hemerik, J-P Katoen
Venue:Science of Computer Programming