PhD Dissertation Research: Representing NP-complete problems in Logical Frameworks