Jaap van Oosten Harold Schellinx Preface. 1-2 2002 114 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal114.html#OostenS02