- DASC, page 78-83. IEEE, (2009)
- Expert Systems 28(5):410-415 (2011)
- SIGART Bulletin 5(3):52-59 (1994)
- J. Log. Program. 13(4):413-440 (1992)
- J. Applied Logic 9(4):289-304 (2011)
- J. Applied Logic 9(4):221-222 (2011)
- J. Symb. Comput. 22(5/6):699-720 (1996)
- CLIMA, volume 5056 of Lecture Notes in Computer Science, page 193-213. Springer, (2007)
- ICWS, page 41-48. IEEE Computer Society, (2011)
- FUZZ-IEEE, page 1953-1959. IEEE, (2011)
- IJIIDS 5(4):389-408 (2011)
- NSS, page 318-322. IEEE Computer Society, (2010)
- IEEE T. Fuzzy Systems 19(3):432-448 (2011)
- AAAI, AAAI Press, (2011)
- DaWaK, volume 2454 of Lecture Notes in Computer Science, page 222-231. Springer, (2002)
- DCW, volume 2468 of Lecture Notes in Computer Science, page 125-137. Springer, (2002)
- DCW, volume 2468 of Lecture Notes in Computer Science, page 138-150. Springer, (2002)
- EDCIS, volume 2480 of Lecture Notes in Computer Science, page 510-524. Springer, (2002)
- J. Log. Comput. 4(6):877-903 (1994)
- Diagrams, volume 2317 of Lecture Notes in Computer Science, page 106-108. Springer, (2002)


author