%0 Conference Paper %1 conf/icai/GuzmanOV99 %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %A Valverde, Agustín %B IC-AI %D 1999 %E Arabnia, Hamid R. %I CSREA Press %K dblp %P 177-183 %T Multiple-Valued Tableaux with delta-reductions. %U http://dblp.uni-trier.de/db/conf/icai/icai1999-1.html#GuzmanOV99 %@ 1-892512-16-5

@inproceedings{conf/icai/GuzmanOV99, added-at = {2004-03-26T00:00:00.000+0100}, author = {de Guzmán, Inman P. and Ojeda-Aciego, Manuel and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/2a6e533094d25a97af48a381fbedf0f72/dblp}, booktitle = {IC-AI}, crossref = {conf/icai/1999-1}, date = {2004-03-26}, description = {dblp}, editor = {Arabnia, Hamid R.}, interhash = {534abc00433644afaf102a1cb8fabe89}, intrahash = {a6e533094d25a97af48a381fbedf0f72}, isbn = {1-892512-16-5}, keywords = {dblp}, pages = {177-183}, publisher = {CSREA Press}, timestamp = {2004-03-26T00:00:00.000+0100}, title = {Multiple-Valued Tableaux with delta-reductions.}, url = {http://dblp.uni-trier.de/db/conf/icai/icai1999-1.html#GuzmanOV99}, year = 1999 }