Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. Multiple-Valued Tableaux with delta-reductions. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence, IC-AI 99, June 28 - July 1, 1999, Las Vegas, Nevada, USA, Volume 1. pages 177-183, CSREA Press, 1999.
@inproceedings{GuzmanOV99,
title = {Multiple-Valued Tableaux with delta-reductions},
author = {Inman P. de Guzmán and Manuel Ojeda-Aciego and Agustín Valverde},
year = {1999},
researchr = {https://researchr.org/publication/GuzmanOV99},
cites = {0},
citedby = {0},
pages = {177-183},
booktitle = {Proceedings of the International Conference on Artificial Intelligence, IC-AI 99, June 28 - July 1, 1999, Las Vegas, Nevada, USA, Volume 1},
editor = {Hamid R. Arabnia},
publisher = {CSREA Press},
isbn = {1-892512-16-5},
}