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 Tue Jul 21 03:13:51 2026 BST.