Cancellative Abelian monoids in refutational theorem proving

@inproceedings{Waldmann1997CancellativeAM,
  title={Cancellative Abelian monoids in refutational theorem proving},
  author={Uwe Waldmann},
  year={1997}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…