CASC-J6: BibTeX Entries

Volume

@proceedings{CASC-J6,
  title     = {CASC-J6. The 6th IJCAR ATP System Competition},
  editor    = {Geoff Sutcliffe},
  series    = {EPiC Series in Computing},
  volume    = {11},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2012}}

Papers

@inproceedings{CASC-J6:Proceedings_6th_IJCAR_ATP,
  author    = {Geoff Sutcliffe},
  title     = {Proceedings of the 6th IJCAR ATP System Competition (CASC-J6)},
  booktitle = {CASC-J6. The 6th IJCAR ATP System Competition},
  editor    = {Geoff Sutcliffe},
  series    = {EPiC Series in Computing},
  volume    = {11},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Cb9l},
  doi       = {10.29007/lvcc},
  pages     = {1-50},
  year      = {2012}}