author- LICS, page 320-335. IEEE Computer Society, (1988)
- CoRR (2003)
- CoRR (2006)
- CoRR (2011)
- CoRR (2007)
- CoRR (2005)
- CoRR (2010)
- CoRR (2011)
- J. Log. Program. 30(1):53-81 (1997)
- J. Log. Program. 41(1):103-123 (1999)
- J. Log. Program. 25(3):249-274 (1995)
- J. Log. Program. 38(3):355-370 (1999)
- J. Log. Program. 41(1):125-128 (1999)
- J. Log. Program. 45(1-3):143-156 (2000)
- J. Log. Program. 32(3):247-261 (1997)
- J. Log. Program. 28(3):181-206 (1996)
- J. Log. Program. 3(1):75-92 (1986)
- J. Log. Program. 43(3):251-263 (2000)
- J. Log. Program. 42(2):111-149 (2000)
- Theor. Comput. Sci. 124(1):93-125 (1994)
