Authors: GIORDANO L OLIVETTI N

Citation: L. Giordano et N. Olivetti, COMBINING NEGATION AS FAILURE AND EMBEDDED IMPLICATIONS IN LOGIC PROGRAMS, The journal of logic programming, 36(2), 1998, pp. 91-147

Authors: MUNDICI D OLIVETTI N

Citation: D. Mundici et N. Olivetti, RESOLUTION AND MODEL-BUILDING IN THE INFINITE-VALUED CALCULUS OF LUKASIEWICZ, Theoretical computer science, 200(1-2), 1998, pp. 335-366