PP-2008-10: Wouter Koolen Temporary Unavailability Logic and General Modification Logic 1.Full Text, 2.Abstract. < Back
