• November 2015: Maximilian Claus; Software Model Checking with Higher-Order Automated Theorem Provers: A Logic Embedding Approach.