Least Solution of Equations over N (1994)

by H Seidl
Venue:Proc. ICALP'94, LNCS 820