Max I. Kanovich, Jacqueline Vauzeilles The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:689-716 [Journal]