A. Bosser, M. Cavazza, and R. Champagnat, Linear Logic for non-linear storytelling, ECAI 2010, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00714889

A. Bosser, P. Courtieu, J. Forest, and M. Cavazza, Structural Analysis of Narratives with the Coq Proof Assistant, ITP, 2011.
DOI : 10.1093/logcom/4.5.513
URL : https://hal.archives-ouvertes.fr/hal-01125850

A. J. Greimas, Sémantique structurale : recherche et méthode, Larousse, 1966.
DOI : 10.3917/puf.grei.2002.01

C. Martens, J. F. Ferreira, A. Bosser, and M. Cavazza, Generative Story Worlds as Linear Logic Programs, Seventh Intelligent Narrative Technologies Workshop, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01169879

M. Masseron, Generating plans in Linear Logic : II. A geometry of conjunctive actions, Theoretical Computer Science, vol.113, issue.2, p.371375, 1993.

M. Masseron, C. Tollu, and J. Vauzeilles, Generating plans in Linear Logic : I. Actions as proofs, Theoretical Computer Science, vol.113, issue.2, p.349370, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00003530

J. Porteous, M. Cavazza, and F. Charles, Applying planning to interactive storytelling, ACM Transactions on Intelligent Systems and Technology, vol.1, issue.2, pp.10110-10131, 2010.
DOI : 10.1145/1869397.1869399

R. M. Young, Notes on the use of plan structures in the creation of interactive plot, Narrative Intelligence : Papers from the AAAI Fall Symposium, 1999.