Juan C. Agudelo Walter Alexandre Carnielli Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem. 1609-1628 2005 conf/iicai/2005 IICAI db/conf/iicai/iicai2005.html#AgudeloC05