Checking equations in GSOS systems (1992)

by L ACETO, B BLOOM, F VAANDRAGER