BibTeX record journals/corr/abs-2109-04633

download as .bib file

@inproceedings{DBLP:journals/corr/abs-2109-04633,
  author       = {Stefan Hetzl and
                  Johannes Kloibhofer},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {A Fixed-point Theorem for Horn Formula Equations},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {65--78},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.5},
  doi          = {10.4204/EPTCS.344.5},
  timestamp    = {Mon, 29 Nov 2021 16:32:05 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04633.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}