ML-1989-04: de Jongh, Dick and Jumulet, Marc and Montagna, Franco (1989) On the Proof of Solovay's Theorem. [Report]
ML-1989-03: de Jongh, Dick and Montagna, Franco (1989) Rosser Orderings and Free Variables. [Report]