Marco Bellia
Marco Bellia and M. Eugenia Occhiuto.
Suprema of open and closed formulas and their application to resolution.
Information and Computation
, 117(1):136-150, 15 February 1995.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database