@article{article4fccc1ef,
title   = {Anytime approximations of classical logic from above},
author = {Finger, Marcelo and Wassermann, Renata},
year = {2007},
doi = {10.1093/logcom/exl018},
journal   = {Journal of Logic and Computation}
}