Grupo de investigación “Lógica y computación”, Universidad EAFIT., Universidad EAFIT, Colombia

• Cuadernos de Investigación Núm. 5 (2002): Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo - Texto completo
  Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo
  Resumen  PDF