Detection of inconsistencies in knowledge bases for emission of foreign judgments. - Pedro Bello López; José Andrés Vázquez Flores; Meliza Contreras González; Marco Rodríguez Herníndez (LA-NMR, 2012)