A simplified proof of Toyama’s theorem (1994)

by J W Klop, A Middeldorp, Y Toyama, R de Vrijer
Venue:Information Processing Letters