Implementation methodology for using concurrent and collaborative approaches for theorem provers, with case studies of SAT and LCF style provers. - Sriipriya G (2013)