Prolog approach to DNA computing | IEEE Conference Publication | IEEE Xplore