1. Arruabarrena, R., Navarro, M.: On extended logic language supporting program structuring. In: Proc. of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE 1996, pp. 191–203 (1996)
2. Lecture Notes in Computer Science;R. Arruabarrena,1999
3. Lecture Notes in Computer Science;M. Baldoni,1996
4. Bonner, A.J., McCarty, L.T.: Adding negation-as-failure to intuitionistic logic programming. In: Proc. of the North American Conference on Logic Programming, NACLP 1990, pp. 681–703 (1990)
5. Bugliesi, M., Lamma, E., Paola, M.: Modularity in logic programming. Journal of Logic Programming 19(20), 443–502 (1994)