Axiomatizing GSOS with Termination.

Jos C. M. Baeten, Erik P. de Vink

Browse the full STACS paper archive.