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},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{CASC-J6:Proceedings_of_6th_IJCAR,
  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},
  pages     = {1--50},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Cb9l},
  doi       = {10.29007/lvcc}}