H. Bekker, and K. Raedt. International Conference on Computational Science (3), volume 2331 of Lecture Notes in Computer Science, page 55-64. Springer, (2002)
J. Kole, M. Figge, and H. Raedt. International Conference on Computational Science (1), volume 2329 of Lecture Notes in Computer Science, page 803-812. Springer, (2002)