Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni. The Birth of a WASP: Preliminary Report on a New ASP Solver. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. Volume 810 of CEUR Workshop Proceedings, pages 99-113, CEUR-WS.org, 2011. [doi]
@inproceedings{DodaroAFLRS11,
title = {The Birth of a WASP: Preliminary Report on a New ASP Solver},
author = {Carmine Dodaro and Mario Alviano and Wolfgang Faber and Nicola Leone and Francesco Ricca and Marco Sirianni},
year = {2011},
url = {http://ceur-ws.org/Vol-810/paper-l06.pdf},
researchr = {https://researchr.org/publication/DodaroAFLRS11},
cites = {0},
citedby = {0},
pages = {99-113},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011},
editor = {Fabio Fioravanti},
volume = {810},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}