"Reasoning about Actions, Narratives and Ramification."

Antonis C. Kakas, Rob Miller (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics