Modelling sequences within the RelView system (2001)

by R Berghammer, T Hoffmann
Venue:Journal of Universal Computer Science