Solving disequations modulo some class of rewrite systems.

MLA

Goos, Gerhard, et al. “Solving Disequations modulo Some Class of Rewrite Systems.” Rewriting Techniques & Applications, 1998, pp. 121–35. EBSCOhost, https://doi.org/10.1007/BFb0052365.

APA

Goos, G., Hartmanis, J., Leeuwen, J., Nipkow, T., Limet, S., & Réty, P. (1998). Solving disequations modulo some class of rewrite systems. In Rewriting Techniques & Applications (pp. 121–135). https://doi.org/10.1007/BFb0052365

Chicago

Goos, Gerhard, Juris Hartmanis, Jan Leeuwen, Tobias Nipkow, Sébastien Limet, and Pierre Réty. 1998. “Solving Disequations modulo Some Class of Rewrite Systems.” In Rewriting Techniques & Applications, 121–35. doi:10.1007/BFb0052365.