On real-time recognition of the relation of occurrence
Yu. V. Matiyasevich

This publication is cited in the following articles:

1. A. G. Ivanov, “Recognition of an approximate occurrence of words on a Turing machine in real time”, Math. USSR-Izv., 24:3 (1985), 479–522