TY  - RPRT
TI  - Theorem Proving Based on Semantics of DNA Strand Graph
AU  - Kumar S. Ray
AU  - Mandrita Mondal
PY  - 2017
UR  - https://arxiv.org/abs/1702.05383
ID  - 1702.05383
ER  -