Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán (1995). Data-Flow analysis of prolog programs with extra-logical features. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.