%0 Journal Article
%A MAURICIO AYALA-RINCÓN
%T A deductive calculus for conditional equational system with built-in predicates as premisas
%J Revista colombiana de matematicas
%D 1997
%P 77-98
%V 31
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1997_31_2_a2/
%F RCM_1997_31_2_a2