Authors: BELLIA M OCCHIUTO HE

Citation: M. Bellia et He. Occhiuto, SUPREMA OF OPEN AND CLOSED FORMULAS AND THEIR APPLICATION TO RESOLUTION, Information and computation, 117(1), 1995, pp. 136-150