Global Subsumption Revisited (Briefly) (bibtex)
by Giles Reger, Martin Suda
Reference:
Global Subsumption Revisited (Briefly)Giles Reger, Martin SudaVampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. (Laura Kovács, Andrei Voronkov, eds.), volume 44 of EPiC Series in Computing, pages 61–73, 2016, EasyChair.
Bibtex Entry:
@inproceedings{DBLP:conf/cade/Reger016,
  author    = {Giles Reger and
               Martin Suda},
  title     = {Global Subsumption Revisited (Briefly)},
  booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra,
               Portugal, July 2, 2016.},
  pages     = {61--73},
  year      = {2016},
  editor    = {Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {44},
  publisher = {EasyChair},               
  url       = {http://www.easychair.org/publications/paper/298338},
  timestamp = {Tue, 12 Dec 2017 14:10:47 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cade/Reger016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser