Probabilistic logical inference using quantities of DNA strands | IEEE Conference Publication | IEEE Xplore