Negation Elimination in Empty or Permutative Theories

Maribel Fernández. Negation Elimination in Empty or Permutative Theories. Journal of Symbolic Computation, 26(1):97-133, 1998.

Abstract

Abstract is missing.