Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas - Martín de la Calle, Pedro Jesús. (Universidad Complutense de Madrid, 2000)