DMCA

Rigid E-unification (1998)

by Bernhard Beckert
Venue:Automated Deduction – A Basis for Applications, volume I
Citations:1 - 1 self