@unpublished{ADL:ESOP:17,
 author    = "M. Avanzini and U. {Dal Lago}",
 title     = {{Complexity Analysis by Polymorphic Sized Type Inference and Constraint Solving}},
 year      = 2016,
 note      = "Submitted.",
}