Higher-Order Proof by Consistency. - Henrik Linnestad; Christian Prehofer; Olav Lysne (FSTTCS, 1996)

Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing. - Henrik Linnestad (Nord. J. Comput., 1996)