A Tool for Automated Theorem Proving in Agda. - Fredrik Lindblad; Marcin Benke (TYPES, 2004)

Property Directed Generation of First-Order Test Data. - Fredrik Lindblad (Trends in Functional Programming, 2007)

Higher-Order Proof Construction Based on First-Order Narrowing. - Fredrik Lindblad (LFMTP@CADE, 2007)

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. - Colin Runciman; Matthew Naylor; Fredrik Lindblad (Haskell, 2008)

A Focused Sequent Calculus for Higher-Order Logic. - Fredrik Lindblad (IJCAR, 2014)