%0 Conference Paper %1 conf/jelia/Valverde04 %A Valverde, Agustín %B JELIA %D 2004 %E Alferes, José Júlio %E Leite, João Alexandre %I Springer %K dblp %P 734-737 %T tabeql: A Tableau Based Suite for Equilibrium Logic. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2004.html#Valverde04 %V 3229 %@ 3-540-23242-7

@inproceedings{conf/jelia/Valverde04, added-at = {2017-05-25T00:00:00.000+0200}, author = {Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/21b78caa1623d039b1d610962552e7e39/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2004}, editor = {Alferes, José Júlio and Leite, João Alexandre}, ee = {https://doi.org/10.1007/978-3-540-30227-8_69}, interhash = {49f6e619a7e07b6668bd22ec4be557e9}, intrahash = {1b78caa1623d039b1d610962552e7e39}, isbn = {3-540-23242-7}, keywords = {dblp}, pages = {734-737}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:07:49.000+0200}, title = {tabeql: A Tableau Based Suite for Equilibrium Logic.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2004.html#Valverde04}, volume = 3229, year = 2004 }