RASP and ASP as a fragment of linear logic

Stefania Costantini, Andrea Formisano. RASP and ASP as a fragment of linear logic. Journal of Applied Non-Classical Logics, 23(1-2):49-74, 2013. [doi]

Abstract

Abstract is missing.