RASP and ASP as a fragment of linear logic