Authors: ALPUENTE M FALASCHI M JULIAN P VIDAL G

Citation: M. Alpuente et al., SPECIALIZATION OF LAZY FUNCTIONAL LOGIC PROGRAMS, ACM SIGPLAN NOTICES, 32(12), 1997, pp. 151-162

Authors: ALPUENTE M FALASCHI M VIDAL G

Citation: M. Alpuente et al., A COMPOSITIONAL SEMANTIC BASIS FOR THE ANALYSIS OF EQUATIONAL HORN PROGRAMS, Theoretical computer science, 165(1), 1996, pp. 133-169

Authors: ALPUENTE M FALASCHI M MANZO F

Citation: M. Alpuente et al., ANALYSES OF UNSATISFIABILITY FOR EDUCATIONAL LOGIC PROGRAMMING, The journal of logic programming, 22(3), 1995, pp. 223-254

Authors: ALPUENTE M FALASCHI M LEVI G

Citation: M. Alpuente et al., INCREMENTAL CONSTRAINT SATISFACTION FOR EQUATIONAL LOGIC PROGRAMMING, Theoretical computer science, 142(1), 1995, pp. 27-57