Description: RDL Rewrite and Decision Procedure Laboratory -- lolliCoP - A Linear Logic