Parameterized Weighted Containment (2013)

by G Avni, O Kupferman
Venue:In Proc. 16th FoSSaCS