Linear functional fixed-points. (2009)

by N Bjørner, J Hendrix
Venue:In CAV’09,