A Cost-Aware Logical Framefork (Version intégrée)