Bossi, Annalisa S-semantics for logic programming: a retrospective look. (English) Zbl 1187.68122 Theor. Comput. Sci. 410, No. 46, 4692-4703 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Bossi}, Theor. Comput. Sci. 410, No. 46, 4692--4703 (2009; Zbl 1187.68122) Full Text: DOI
Guerrero, Juan Antonio; Moreno, Ginés Optimizing fuzzy logic programs by unfolding, aggregation and folding. (English) Zbl 1286.68046 Visser, Joost (ed.) et al., Proceedings of the 8th international workshop on rule based programming (RULE 2007), Paris, France, June 29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 219, 19-34 (2008). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{J. A. Guerrero} and \textit{G. Moreno}, Electron. Notes Theor. Comput. Sci. 219, 19--34 (2008; Zbl 1286.68046) Full Text: DOI
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán Rules + strategies for transforming lazy functional logic programs. (English) Zbl 1070.68018 Theor. Comput. Sci. 311, No. 1-3, 479-525 (2004). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theor. Comput. Sci. 311, No. 1--3, 479--525 (2004; Zbl 1070.68018) Full Text: DOI
Afrati, Foto; Gergatsoulis, Manolis; Toni, Francesca Linearisability on Datalog programs. (English) Zbl 1068.68052 Theor. Comput. Sci. 308, No. 1-3, 199-226 (2003). MSC: 68P15 68N17 PDFBibTeX XMLCite \textit{F. Afrati} et al., Theor. Comput. Sci. 308, No. 1--3, 199--226 (2003; Zbl 1068.68052) Full Text: DOI
Giacobazzi, Roberto; Ranzato, Francesco Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements. (English) Zbl 0921.68057 Inf. Comput. 145, No. 2, 153-190 (1998). MSC: 68Q55 PDFBibTeX XMLCite \textit{R. Giacobazzi} and \textit{F. Ranzato}, Inf. Comput. 145, No. 2, 153--190 (1998; Zbl 0921.68057) Full Text: DOI Link
Bensaou, N.; Guessarian, I. Transforming constraint logic programs. (English) Zbl 0913.68042 Theor. Comput. Sci. 206, No. 1-2, 81-125 (1998). MSC: 68N17 PDFBibTeX XMLCite \textit{N. Bensaou} and \textit{I. Guessarian}, Theor. Comput. Sci. 206, No. 1--2, 81--125 (1998; Zbl 0913.68042) Full Text: DOI
Gergatsoulis, Manolis Unfold/fold transformations for disjunctive logic programs. (English) Zbl 1336.68028 Inf. Process. Lett. 62, No. 1, 23-29 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Gergatsoulis}, Inf. Process. Lett. 62, No. 1, 23--29 (1997; Zbl 1336.68028) Full Text: DOI
Etalle, Sandro; Gabbrielli, Maurizio Transformations of CLP modules. (English) Zbl 0872.68021 Theor. Comput. Sci. 166, No. 1-2, 101-146 (1996). MSC: 68N17 PDFBibTeX XMLCite \textit{S. Etalle} and \textit{M. Gabbrielli}, Theor. Comput. Sci. 166, No. 1--2, 101--146 (1996; Zbl 0872.68021) Full Text: DOI Link
Proietti, Maurizio; Pettorossi, Alberto Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. (English) Zbl 0873.68023 Theor. Comput. Sci. 142, No. 1, 89-124 (1995). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Proietti} and \textit{A. Pettorossi}, Theor. Comput. Sci. 142, No. 1, 89--124 (1995; Zbl 0873.68023) Full Text: DOI
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C. A compositional semantics for logic programs. (English) Zbl 0801.68110 Theor. Comput. Sci. 122, No. 1-2, 3-47 (1994). MSC: 68Q55 68N17 68Q60 PDFBibTeX XMLCite \textit{A. Bossi} et al., Theor. Comput. Sci. 122, No. 1--2, 3--47 (1994; Zbl 0801.68110) Full Text: DOI