BibTeX record journals/jar/PeltierS22

download as .bib file

@article{DBLP:journals/jar/PeltierS22,
  author       = {Nicolas Peltier and
                  Viorica Sofronie{-}Stokkermans},
  title        = {Special Issue of Selected Extended Papers of {IJCAR} 2020},
  journal      = {J. Autom. Reason.},
  volume       = {66},
  number       = {3},
  pages        = {275--276},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10817-022-09622-6},
  doi          = {10.1007/S10817-022-09622-6},
  timestamp    = {Fri, 08 Jul 2022 22:54:49 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/PeltierS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics