Hiroki Uejima Masami Hagiya Satoshi Kobayashi Horn Clause Computation by Self-assembly of DNA Molecules. 308-320 http://dx.doi.org/10.1007/3-540-48017-X_29 2001 conf/dna/2001 DNA db/conf/dna/dna2001.html#UejimaHK01