Polynomial-Time Functions Generate SAT: On P-Splinters.

Lane A. Hemachandra Albrecht Hoene Dirk Siefkes Polynomial-Time Functions Generate SAT: On P-Splinters. 259-269 1989 conf/mfcs/1989 MFCS db/conf/mfcs/mfcs89.html#HemachandraHS89 http://dx.doi.org/10.1007/3-540-51486-4_73