BibTeX record journals/corr/abs-2109-04631

download as .bib file

@inproceedings{DBLP:journals/corr/abs-2109-04631,
  author    = {Bishoksan Kafle and
               John P. Gallagher and
               Manuel V. Hermenegildo and
               Maximiliano Klemen and
               Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
               Jos{\'{e}} F. Morales},
  editor    = {Hossein Hojjat and
               Bishoksan Kafle},
  title     = {Regular Path Clauses and Their Application in Solving Loops},
  booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
               HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series    = {{EPTCS}},
  volume    = {344},
  pages     = {22--35},
  year      = {2021},
  url       = {https://doi.org/10.4204/EPTCS.344.3},
  doi       = {10.4204/EPTCS.344.3},
  timestamp = {Mon, 03 Jan 2022 22:03:26 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2109-04631.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics