Proof Search for the First-Order Connection Calculus in Maude. - Bjarne Holen; Einar Broch Johnsen; Arild Waaler (WRLA, 2008)

Efficient Rule-Matching for Hyper-Tableaux. - Bjarne Holen; Dag Hovland; Martin Giese (IWIL@LPAR, 2012)