BibTeX record conf/gcai/JakubuvSU17

download as .bib file

@inproceedings{DBLP:conf/gcai/JakubuvSU17,
  author    = {Jan Jakubuv and
               Martin Suda and
               Josef Urban},
  title     = {Automated Invention of Strategies and Term Orderings for Vampire},
  booktitle = {{GCAI}},
  series    = {EPiC Series in Computing},
  volume    = {50},
  pages     = {121--133},
  publisher = {EasyChair},
  year      = {2017}
}
maintained by Schloss Dagstuhl LZI at University of Trier