TI - Towards polynomial approximations of full propositional logic PY - 2004 AU - Finger, Marcelo PP - São Paulo PB - IME-USP ER -