Arild Waaler

Joint Papers

• Confluent Term Rewriting for Only-knowing Logics
• Proof Search for the First-Order Connection Calculus in Maude
• Representing Strategies for the Connection Calculus in Rewriting Logic