Polynomial size analysis of firstorder shapely functions (2009)

by Olha Shkaravska, Marko van Eekelen, Ron van Kesteren
Venue:Logical Methods in Computer Science