"Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem"

Seung Hwan Lee¹, Danny van Noort¹, Kyung-Ae Yang, In-Hee Lee, Byoung-Tak Zhang*, Tai Hyun Park*

Lab on a Chip , 2012 , 12(10) , 1841-1848