On the termination of Markov algorithms (1970)

by Z Manna, S Ness
Venue:Proc. Third Hawaii Int. Conf. on Syst. Sci