Monica Nesi Valeria de Paiva Eike Ritter Rewriting Properties of Combinators for Rudimentary Linear Logic. 256-275 1993 conf/hoa/1993 HOA db/conf/hoa/hoa93.html#NesiPR93