Login / Signup

General Algorithms for Permutations in Equational Inference.

Jürgen AvenhausDavid A. Plaisted
Published in: J. Autom. Reason. (2001)
Keyphrases