A finite model theory for biological hypotheses | IEEE Conference Publication | IEEE Xplore