Gagliardi, Edilma Olinda Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes Standard No.: DIF-M3470