88), A complete inference system for regular processes with silent moves (1988)

by J A BERGSTRA, J W KLOP
Venue:in: Proc. of Logic Colloquium, Hull '86