Focused Inductive Theorem Proving. - David Baelde; Dale Miller 001; Zachary Snow (IJCAR, 2010)

Realizing the Dependently Typed Lambda Calculus. - Zachary Snow (ICLP (Technical Communications), 2010)

A meta-programming approach to realizing dependently typed logic programming. - Zachary Snow; David Baelde; Gopalan Nadathur (PPDP, 2010)

Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search - Zachary Snow; David Baelde; Gopalan Nadathur (CoRR, 2010)