Co-authors

1. Jerry R. Hobbs (4 paper(s) during 1988-2004)
2. Douglas E. Appelt (3 paper(s) during 1993-2004)
3. Mabry Tyson (3 paper(s) during 1985-2004)
4. Richard J. Waldinger (3 paper(s) during 1994-2004)
5. Hantao Zhang (3 paper(s) during 1988-2000)
6. David J. Israel (2 paper(s) during 1997-2004)
7. Tomás E. Uribe (2 paper(s) during 1994-1997)
8. Paul A. Martin (2 paper(s) during 1988-1993)
9. Teresa F. Lunt (2 paper(s) during 1991-1992)
10. Thomas D. Garvey (2 paper(s) during 1991-1992)
11. Donald W. Loveland (2 paper(s) during 1973-1976)
12. David L. Martin (1 paper(s) during 2004)
13. Jennifer L. Dungan (1 paper(s) during 2004)
14. John Fry (1 paper(s) during 2004)
15. Peter Jarvis (1 paper(s) during 2004)
16. Susanne Riehemann (1 paper(s) during 2004)
17. Bart Selman (1 paper(s) during 2001)
18. Carla P. Gomes (1 paper(s) during 2001)
19. Dimitris Achlioptas (1 paper(s) during 2001)
20. Henry A. Kautz (1 paper(s) during 2001)
21. Yongshao Ruan (1 paper(s) during 2001)
22. Jérôme Thoméré (1 paper(s) during 2000)
23. Vinay K. Chaudhri (1 paper(s) during 2000)
24. John Bear (1 paper(s) during 1997)
25. Megumi Kameyama (1 paper(s) during 1997)
26. Nikolaj Bjørner (1 paper(s) during 1997)
27. Ian Underwood (1 paper(s) during 1994)
28. Michael R. Lowry (1 paper(s) during 1994)
29. Thomas Pressburger (1 paper(s) during 1994)
30. Owen L. Astrachan (1 paper(s) during 1992)
31. Xiaolei Qian (1 paper(s) during 1992)
32. Alexander Herold (1 paper(s) during 1988)
33. Deepak Kapur (1 paper(s) during 1988)
34. Douglas Edwards (1 paper(s) during 1988)
35. Hans-Jürgen Bürckert (1 paper(s) during 1988)
36. Jörg H. Siekmann (1 paper(s) during 1988)
37. Michael Tepp (1 paper(s) during 1988)
38. Ewing L. Lusk (1 paper(s) during 1986)
39. Larry Wos (1 paper(s) during 1986)
40. Robert S. Boyer (1 paper(s) during 1986)
41. Ross A. Overbeek (1 paper(s) during 1986)
42. William McCune (1 paper(s) during 1986)
43. Gerald E. Peterson (1 paper(s) during 1981)