Marcelo Finger Towards Polynomial Approximations of Full Propositional Logic. 11-20 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3171&spage=11 2004 conf/sbia/2004 SBIA db/conf/sbia/sbia2004.html#Finger04