G. Abbate, B. Thijsse, and C. Kleijn. International Conference on Computational Science (1), volume 4487 of Lecture Notes in Computer Science, page 842-849. Springer, (2007)
W. van der Hoek, J. Jaspars, and E. Thijsse. Logic, Epistemology, and the Unity of Science, volume 1 of Logic, Epistemology, and the Unity of Science, Springer, (2004)