Extracting models from clause sets saturated under semantic refinements of the resolution rule.

Nicolas Peltier Extracting models from clause sets saturated under semantic refinements of the resolution rule. 99-130 2003 181 Inf. Comput. 2 http://dx.doi.org/10.1016/S0890-5401(03)00016-6 db/journals/iandc/iandc181.html#Peltier03