| |
| 2008 | ||
|---|---|---|
| 2 | EE | Fredrik Lindblad: Higher-Order Proof Construction Based on First-Order Narrowing. Electr. Notes Theor. Comput. Sci. 196: 69-84 (2008) |
| 2004 | ||
| 1 | EE | Fredrik Lindblad, Marcin Benke: A Tool for Automated Theorem Proving in Agda. TYPES 2004: 154-169 |
| 1 | Marcin Benke | [1] |