DNA implementation of simple Horn clause computation. - Satoshi Kobayashi; Takashi Yokomori; G. Sampei; K. Mizobuchi (ICEC, 1997)