Deductive Biocomputing Shrager, Jeff ; Waldinger, Richard ; Stickel, Mark ; Massar, J. P. Abstract Publication: PLoS ONE Pub Date: April 2007 DOI: 10.1371/journal.pone.0000339 Bibcode: 2007PLoSO...2..339S