Normalization of S-terms is decidable.

MLA

Goos, Gerhard, et al. “Normalization of S-Terms Is Decidable.” Rewriting Techniques & Applications, 1998, pp. 138–50. EBSCOhost, https://doi.org/10.1007/BFb0052367.

APA

Goos, G., Hartmanis, J., Leeuwen, J., Nipkow, T., & Waldmann, J. (1998). Normalization of S-terms is decidable. In Rewriting Techniques & Applications (pp. 138–150). https://doi.org/10.1007/BFb0052367

Chicago

Goos, Gerhard, Juris Hartmanis, Jan Leeuwen, Tobias Nipkow, and Johannes Waldmann. 1998. “Normalization of S-Terms Is Decidable.” In Rewriting Techniques & Applications, 138–50. doi:10.1007/BFb0052367.