PP-2008-10: Koolen, Wouter (2008) Temporary Unavailability Logic and General Modification Logic. [Report]
MoL-2007-02: Koolen, Wouter (2007) Discovering the truth by conducting experiments. [Report]