Katoen: Bottom-up tree acceptors (1989)

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