Suprema of Open and Closed Formulas and Their Application to Resolution

Marco BelliaM. Eugenia Occhiuto
Published in: Inf. Comput. (1995)