%0 Journal Article
%A Aguilera Venegas, Gabriel
%A Pérez de Guzmán, Inmaculada
%A Ojeda Aciego, Manuel
%T Demostrador de teoremas, basado en la reducción, para lógica trivaluada.
%J Mathware & soft computing
%D 1997
%P 99-127
%V 4
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MSC_1997_1997_1_a6/
%G en
%F MSC_1997_1997_1_a6