1. Y. Bekkers and P. Tarau. Monadic constructs for logic programming. In J. Lloyd, editor, Proceedings of the International Symposium on Logic Programming, pages 51–65, Cambridge, Dec. 4–7 1995. MIT Press.
2. M. Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10(2):91–124, Feb. 1991.
3. M. Bruynooghe, G. Janssens, and A. Kågedal. Live-structure analysis for logic programming languages with declarations. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming (ICLP’97), pages 33–47, Leuven, Belgium, 1997. MIT Press.
4. Lect Notes Comput Sci;F. Bueno,1996
5. F. Bueno, M. García de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, and P. J. Stuckey. A model for inter-module analysis and optimizing compilation. In Tenth International Workshop on Logic-based Program Synthesis and Transformation, London, UK, 2000. to appear.