Eliminating the Impossible: A Procedurally Generated Murder Mystery. - Henry Mohr; Markus Eger; Chris Martens 001 (AIIDE Workshops, 2018)