Halava, V., Hirvensalo, M., & de Wolf, R. M. (1999). Decidability and undecidability of marked PCP. In Proceedings of 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS'99) (pp. 210-219). Springer.
de Wolf, R. M. (1998). Review of C. Williams and S. Clearwater, Explorations in quantum computing. Science of Computer Programming, 32, 213-216.
de Wolf, R. M. (1998). Decidability and undecidability in marked PCP. (TUCS; No. 201). WINS (oud WINS).
Nienhuys-Cheng, S. H., & de Wolf, R. M. (1997). Foundations of inductive logic programming. In Lecture Notes in Artificial Intelligence, volume 1228 Springer-Verlag.