Jean-Louis Lassez Ken McAloon A Constraint Sequent Calculus conf/lics/LICS5 1990 LICS 52-61 db/conf/lics/lics90.html#LassezM90