Reasoning about the past with two-way automata.

MLA

Goos, Gerhard, et al. “Reasoning about the Past with Two-Way Automata.” Automata, Languages & Programming (9783540647812), 1998, pp. 628–41. EBSCOhost, https://doi.org/10.1007/BFb0055090.

APA

Goos, G., Hartmanis, J., Leeuwen, J., Larsen, K. G., Skyum, S., Winskel, G., & Vardi, M. Y. (1998). Reasoning about the past with two-way automata. In Automata, Languages & Programming (9783540647812) (pp. 628–641). https://doi.org/10.1007/BFb0055090

Chicago

Goos, Gerhard, Juris Hartmanis, Jan Leeuwen, Kim G. Larsen, Sven Skyum, Glynn Winskel, and Moshe Y. Vardi. 1998. “Reasoning about the Past with Two-Way Automata.” In Automata, Languages & Programming (9783540647812), 628–41. doi:10.1007/BFb0055090.