Nachum Dershowitz Bit Inference. 2008 PAAR/ESHOL http://ceur-ws.org/Vol-373/paper-01.pdf conf/cade/2008paar db/conf/cade/paar2008.html#Dershowitz08a