DMCA

Simplifying the signature in second-order unification (2009)

by Jordi Levy , Mateu Villaret
Citations:1 - 1 self