BibTeX record journals/mscs/CernaK20

download as .bib file

@article{DBLP:journals/mscs/CernaK20,
  author    = {David M. Cerna and
               Temur Kutsia},
  title     = {Higher-order pattern generalization modulo equational theories},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {30},
  number    = {6},
  pages     = {627--663},
  year      = {2020},
  url       = {https://doi.org/10.1017/S0960129520000110},
  doi       = {10.1017/S0960129520000110},
  timestamp = {Mon, 26 Oct 2020 08:48:46 +0100},
  biburl    = {https://dblp.org/rec/journals/mscs/CernaK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics