@misc{misc3f995b8b,
title   = {Towards polynomial approximations of full propositional logic},
author = {Finger, Marcelo},
year = {2004},
publisher = {IME-USP}
}