P. Godefroid, and P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)
J. Balcázar, and G. Garriga. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 492-495. Berlin, Heidelberg, Springer-Verlag, (July 2007)
N. Nguyen, V. Belyavsky, and Y. Kopaev. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)