Conservativity: a necessary property for the maximization of witness sets

Livio Robaldo. Conservativity: a necessary property for the maximization of witness sets. Logic Journal of the IGPL, 21(5):853-878, 2013. [doi]

Abstract

Abstract is missing.