Improving homeomorphic embedding for online termination (0)

by M Leuschel
Venue:Proc. LOPSTR’98, LNCS 1559