Kortik, S. & Saranli, U. (2017) LinGraph: a graph-based automated planner for concurrent task planning based on linear logic. APPLIED INTELLIGENCE , 47(3), 914-934.