author- LICS, page 348-357. IEEE Computer Society, (1988)
- LICS, page 397-406. IEEE Computer Society, (2005)
- AAAI, page 229-231. AAAI Press, (1983)
- AAAI/IAAI, page 299-305. AAAI Press / The MIT Press, (1999)
- CoRR (2000)
- CoRR (2009)
- CoRR (2005)
- CoRR (2000)
- CoRR (2004)
- J. Log. Program. (1994)
- J. Log. Program. (1994)
- J. Log. Program. 42(1):47-57 (2000)
- J. Log. Program. 37(1-3):1-46 (1998)
- J. Log. Program. 3(2):115-118 (1986)
- J. Log. Program. 23(2):87-88 (1995)
- J. Log. Program. 1(3):211-223 (1984)
- ISSPA, page 488-491. IEEE, (2010)
- Circuits and Systems 1(1):12-17 (2010)
- JSEA 3(4):391-403 (2010)
- Theor. Comput. Sci. 110(2):377-403 (1993)
