Jean-Marc Alliot, Charlie Vanaret. (The Final) Countdown. In Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov, editors, Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. Volume 36 of EPiC Series in Computing, pages 14-26, EasyChair, 2015. [doi]
@inproceedings{AlliotV15, title = {(The Final) Countdown}, author = {Jean-Marc Alliot and Charlie Vanaret}, year = {2015}, url = {http://www.easychair.org/publications/paper/The_Final-_Countdown}, researchr = {https://researchr.org/publication/AlliotV15}, cites = {0}, citedby = {0}, pages = {14-26}, booktitle = {Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015}, editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov}, volume = {36}, series = {EPiC Series in Computing}, publisher = {EasyChair}, }