Cruz Fernández, Rosa María de la (1998) Un sistema para la detección y eliminación de infactibilidad en problemas de redes. Maestría thesis, Universidad Autónoma de Nuevo León.