Journal of AlgorithmsVolume 17, Issue 1, July 1994, Page 1ForewordForewordAuthor links open overlay panelKozen D.Show moreShareCitehttps://doi.org/10.1006/jagm.1994.1024Get rights and contentRecommended articlesReferences (0)Cited by (0)View full textCopyright © 1994 Academic Press. All rights reserved.