paper RSL-SPL-RE