@article{RCM_1997_31_2_a2,
     author = {MAURICIO AYALA-RINC\'ON},
     title = {A deductive calculus for conditional equational system with built-in predicates as premisas},
     journal = {Revista colombiana de matematicas},
     pages = {77--98},
     publisher = {mathdoc},
     volume = {31},
     number = {2},
     year = {1997},
     url = {http://geodesic.mathdoc.fr/item/RCM_1997_31_2_a2/}
}