- INTERSPEECH, page 2089-2092. ISCA, (2011)
- Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications SEAA, IEEE Computer Society Press, (September 2008)
- IEEE Transactions on Software Engineering 33(10):709-724 (2007)
- EUROMICRO '05: Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications, page 88--95. Washington, DC, USA, IEEE Computer Society, (2005)
- CoRR (2006)
- J. Log. Program. 38(3):259-294 (1999)
- J. Log. Program. 30(3):239-257 (1997)
- J. Log. Program. (1994)
- IEEE Visualization, page 121-126. (1996)
- EUROMICRO-SEAA, page 85-93. IEEE, (2010)
- EUROMICRO-SEAA, page 102-110. IEEE, (2010)
- EUROMICRO-SEAA, page 47-50. IEEE, (2011)
- EUROMICRO-SEAA, page 39-46. IEEE, (2011)
- Journal of Statistical Mechanics: Theory and Experiment 2007(06):P06010 (2007)
- J. Symb. Comput. 30(1):93-127 (2000)
- J. Symb. Comput. 30(1):1-3 (2000)
- CBSE, page 41-50. ACM, (2011)
- IJCAI, page 1838-1845. IJCAI/AAAI, (2011)
- TFM, volume 3294 of Lecture Notes in Computer Science, page 1-16. Springer, (2004)
- Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, page 1-29. Springer, (2004)


author