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

Susanne Graf

Browse the full MFCS paper archive.