Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Institutions for logic programming. (English) Zbl 0901.68027 Theor. Comput. Sci. 173, No. 2, 485-511 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Orejas} et al., Theor. Comput. Sci. 173, No. 2, 485--511 (1997; Zbl 0901.68027) Full Text: DOI
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana On the correctness of modular systems. (English) Zbl 0874.68065 Theor. Comput. Sci. 140, No. 1, 139-177 (1995). MSC: 68N99 PDFBibTeX XMLCite \textit{M. Navarro} et al., Theor. Comput. Sci. 140, No. 1, 139--177 (1995; Zbl 0874.68065) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Algebraic methods in the compositional analysis of logic programs. (English) Zbl 1493.68072 Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 112-126 (1994). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 841, 112--126 (1994; Zbl 1493.68072) Full Text: DOI