BibTeX record conf/gcai/GorznyPP20

download as .bib file

@inproceedings{DBLP:conf/gcai/GorznyPP20,
  author    = {Jan Gorzny and
               Ezequiel Postan and
               Bruno Woltzenlogel Paleo},
  title     = {Partial Regularization of First-Order Resolution Proofs},
  booktitle = {{GCAI}},
  series    = {EPiC Series in Computing},
  volume    = {72},
  pages     = {34--45},
  publisher = {EasyChair},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics