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.
No references recorded for this publication.
No citations of this publication recorded.