BibTeX record journals/tcs/LombardiRV19

download as .bib file

@article{DBLP:journals/tcs/LombardiRV19,
  author    = {Carlos Lombardi and
               Alejandro R{\'{\i}}os and
               Roel de Vrijer},
  title     = {Projections for infinitary rewriting (extended version)},
  journal   = {Theor. Comput. Sci.},
  volume    = {781},
  pages     = {92--110},
  year      = {2019}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics