Jeff Polakow Linearity Constraints as Bounded Intervals in Linear Logic Programming. 135-155 2006 16 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exi073 db/journals/logcom/logcom16.html#Polakow06