@InProceedings{holen08wrla,
  author =    {Bjarne Holen and Einar Broch Johnsen and Arild Waaler},
  title =     {Proof Search for the First-Order Connection Calculus in
               {M}aude},
  booktitle = {Proc.\ 7th International Workshop on Rewriting Logic
                  and its Applications {(WRLA'08)}},
  series =    {Electronic Notes in Theoretical Computer Science},
  volume =    238,
  publisher = {Elsevier},
  pages =     {173--188},
  month =     jul,
  year =      2009,
}