author- BIBM Workshops, page 615-622. IEEE, (2011)
- J. Vis. Lang. Comput. 3(1):1-23 (1992)
- CoRR (2009)
- CoRR (2003)
- IEEE Congress on Evolutionary Computation, page 2002-2009. IEEE, (2011)
- J. Vis. Lang. Comput. 10(4):421-445 (1999)
- CADE, volume 6803 of Lecture Notes in Computer Science, page 283-298. Springer, (2011)
- Cambridge University Press, (2003)
- J. Log. Comput. 9(3):351-384 (1999)
- IJCAR, volume 2083 of Lecture Notes in Computer Science, page 29-44. Springer, (2001)
- IJCAR, volume 2083 of Lecture Notes in Computer Science, page 701-706. Springer, (2001)
- IJCAR, volume 2083 of Lecture Notes in Computer Science, page 61-75. Springer, (2001)
- TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 24-28. Springer, (1999)
- J. Applied Logic 8(4):334-355 (2010)
- J. Information Science 35(4):379-397 (2009)
- ICCCI 3, volume 6423 of Lecture Notes in Computer Science, page 457-468. Springer, (2010)
- IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, page 701--706. London, UK, Springer-Verlag, (2001)
- Cambridge University Press, (2003)
- ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 485-490. IOS Press, (2010)
- Int. J. Approx. Reasoning 50(9):1399-1415 (2009)
