Computação paraconsistente : uma abordagem logica a computação quantica - Agudelo, Juan Carlos Agudelo (2009)
Orientador: Walter Alexandre Carnielli