Text this: Formal Validation of DNA Database Using Theorem Proving Technique