@article{MSC_1997_1997_1_a6,
     author = {Aguilera Venegas, Gabriel and P\'erez de Guzm\'an, Inmaculada and Ojeda Aciego, Manuel},
     title = {Demostrador de teoremas, basado en la reducci\'on, para l\'ogica trivaluada.},
     journal = {Mathware & soft computing},
     pages = {99-127},
     publisher = {mathdoc},
     volume = {4},
     number = {2},
     year = {1997},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MSC_1997_1997_1_a6/}
}