Sistema paraconsistente LBPc I - Sierra A., Manuel. (Universidad EAFIT, 2006)