Max I. Kanovich Jacqueline Vauzeilles The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity. 689-716 2001 11 Mathematical Structures in Computer Science 6 db/journals/mscs/mscs11.html#KanovichV01