JM Valk, JFM Tonino, A Bos, C Witteveen (1999), Automated theorem proving for the KARO-architecture, In ESSLLI 99 p.1-13, s.n..

A Bos, C Witteveen (1999), Compilation to speed up the control of hybrid systems, M Boasson, JA Kaandorp, JFM Tonino, MG Vosselman (Eds.), In ASCI '99: proceedings p.243-250, Advanced School for Computing and Imaging.

A Bos, N Roos, C Witteveen (1999), Computing with computational histories, E Postma, M Gyssens (Eds.), In BNAIC '99: proceedings p.19-26, s.n..

C Witteveen (1999), Editorship, H Rott, C Albert, G Brewka, C Witteveen (Eds.), In DGNMR '99 proceedings (ILLC prepublication series) p.-, Institute for Logic, Language and Computation.

C Witteveen, W van der Hoek (1999), Recovering from inconsistency: a general framework for theory recovery, In WAIT '99 p.37-50, s.n..