Anytime approximations of classical logic from above - Finger, Marcelo; Wassermann, Renata (Journal of Logic and Computation, 2007)