APA   Click to copy
Verma, R. M. (2008). New Undecidability Results for Properties of Term Rewrite Systems. In G. Kniesel & J. S. Pinto (Eds.), Ninth International Workshop on Rule-Based Programming, {RULE} 2008, Hagenberg, Austria, July 14-18, 2008 (Vol. 290, pp. 69–85). Elsevier.

Chicago/Turabian   Click to copy
Verma, Rakesh M. “New Undecidability Results for Properties of Term Rewrite Systems.” In Ninth International Workshop on Rule-Based Programming, {RULE} 2008, Hagenberg, Austria, July 14-18, 2008, edited by G{\"{u}}nter Kniesel and Jorge Sousa Pinto, 290:69–85. Electronic Notes in Theoretical Computer Science. Elsevier, 2008.

MLA   Click to copy
Verma, Rakesh M. “New Undecidability Results for Properties of Term Rewrite Systems.” Ninth International Workshop on Rule-Based Programming, {RULE} 2008, Hagenberg, Austria, July 14-18, 2008, edited by G{\"{u}}nter Kniesel and Jorge Sousa Pinto, vol. 290, Elsevier, 2008, pp. 69–85.

@inproceedings{verma2008a,
  title = {New Undecidability Results for Properties of Term Rewrite Systems},
  year = {2008},
  pages = {69--85},
  publisher = {Elsevier},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {290},
  author = {Verma, Rakesh M.},
  editor = {Kniesel, G{\"{u}}nter and Pinto, Jorge Sousa},
  booktitle = {Ninth International Workshop on Rule-Based Programming, {RULE} 2008, Hagenberg, Austria, July 14-18, 2008}
}