Espen H. Lian

Joint Papers

• Confluent Term Rewriting for Only-knowing Logics