The Term Processor Generator

@article{eijk1997,
  title = {The Term Processor Generator},
  author = {Peter van Eijk and Axel Belinfante and Henk Eertink and Henk Alblas},
  journal = {TACAS},
  year = {1997},
  month = {Jan},
  doi = {10.1007/bfb0035383},
  url = {https://doi.org/10.1007/bfb0035383},
}

Peter van Eijk et al. (1997). The Term Processor Generator. TACAS. https://doi.org/10.1007/bfb0035383

Peter van Eijk, et al.. "The Term Processor Generator." TACAS, 1997, https://doi.org/10.1007/bfb0035383.

Peter van Eijk, et al.. "The Term Processor Generator." TACAS (1997). https://doi.org/10.1007/bfb0035383

Peter van Eijk et al., 1997. The Term Processor Generator. TACAS. Available at: <https://doi.org/10.1007/bfb0035383>.

TY  - JOUR
TI  - The Term Processor Generator
AU  - Peter van Eijk
AU  - Axel Belinfante
AU  - Henk Eertink
AU  - Henk Alblas
PY  - 1997
JO  - TACAS
DO  - 10.1007/bfb0035383
UR  - https://doi.org/10.1007/bfb0035383
ER  -