Horn Clause Computation by Self-assembly of DNA Molecules.

Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi

Browse the full DNA paper archive.