- SIAM Journal of Computing 7(4):481--491 (November 1978)
- AAAI, page 124-127. AAAI Press, (1982)
- AAAI, page 416-419. AAAI Press, (1983)
- UAI, page 505-509. Elsevier, (1985)
- SIAM J. Comput. 18(2):409-418 (1989)
- SIAM J. Comput. 22(2):303-317 (1993)
- SIAM J. Comput. 26(2):456-483 (1997)
- SIAM J. Comput. 18(5):1037-1047 (1989)
- Inf. Sci. 22(1):1-18 (1980)
- Inf. Sci. 78(3-4):269-291 (1994)
- Inf. Process. Lett. 27(4):215-219 (1988)
- Inf. Process. Lett. 15(2):72-75 (1982)
- Artif. Intell. 21(1-2):117-133 (1983)
- Bioinformatics 16(2):140-151 (2000)
- Commun. ACM 15(8):777-778 (1972)
- Ann. Math. Artif. Intell. 20(1-4):393-410 (1997)
- Ann. Math. Artif. Intell. 43(1):343-365 (2005)
- IEEE Trans. Pattern Anal. Mach. Intell. 6(4):510-513 (1984)
- SIAM J. Comput. 10(3):583-593 (1981)
- SIAM J. Comput. 7(4):481-491 (1978)


author