“On Designing Heuristics for Formal Verification Approaches ”. 2016. Sindh University Research Journal - SURJ (Science Series) 48 (1). https://sujo.usindh.edu.pk/index.php/SURJ/article/view/4990.