Publication

Number of items: 1.
Other
  • A Proof System and a Decision Procedure for Equality Logic. (2004) Olga Tveretina and Hans Zantema
    • This list was generated on Fri Jul 3 02:59:39 2026 BST.