TY  - JOUR
AU  - MAURICIO AYALA-RINCÓN
TI  - A deductive calculus for conditional equational system with built-in predicates as premisas
JO  - Revista colombiana de matematicas
PY  - 1997
SP  - 77
EP  - 98
VL  - 31
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RCM_1997_31_2_a2/
ID  - RCM_1997_31_2_a2
ER  -