BibTeX record conf/ppdp/SeidlV18

download as .bib file

@inproceedings{DBLP:conf/ppdp/SeidlV18,
  author    = {Helmut Seidl and
               Ralf Vogler},
  title     = {Three Improvements to the Top-Down Solver},
  booktitle = {{PPDP}},
  pages     = {21:1--21:14},
  publisher = {{ACM}},
  year      = {2018}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics