On the Undecidability of Second-Order Unification (2000)

by Jordi Levy , Margus Veanes
Venue:INFORMATION AND COMPUTATION
Citations:33 - 16 self