Dissertation
-Márcia Nogueira advised by Pedro SantosLearning and Authomatic Theorem Proving MSc Thesis on instituto Superior Técnico - Universidade de Lisboa, work in progress, [bibTex]