A Complete Inference System for an Algebra or Regular Acceptance Models.

Susanne Graf
Published in: MFCS (1986)