- ISSE 7(4):315-323 (2011)
- Teubner, (1962)
- J. Autom. Reasoning 27(1):61-87 (2001)
- SBMF, volume 6527 of Lecture Notes in Computer Science, page 112-127. Springer, (2010)
- Harper and Row, New York, (1961)
- LREC, European Language Resources Association, (2010)
- Teubner, (1962)
- ICVS, volume 5815 of Lecture Notes in Computer Science, page 43-52. Springer, (2009)
- FDL, page 167-172. IEEE, (2008)
- VaMoS, page 131--140. (2008)
- VaMoS, page 131-140. (2008)
- FUZZ-IEEE, page 1-5. IEEE, (2007)
- CLEI Electron. J. (2003)
- TYPES, volume 1956 of Lecture Notes in Computer Science, page 77-93. Springer, (1999)


author