Co-authors

1. Leo Bachmair (19 paper(s) during 1990-1998)
2. Uwe Waldmann (9 paper(s) during 1992-2006)
3. Robert Nieuwenhuis (5 paper(s) during 1993-2004)
4. Hubert Bertling (5 paper(s) during 1987-1993)
5. Jürgen Stuber (4 paper(s) during 1992-2005)
6. Margus Veanes (4 paper(s) during 1998-2000)
7. Renate Schäfers (4 paper(s) during 1987-1993)
8. Reinhard Wilhelm (4 paper(s) during 1975-1982)
9. Konstantin Korovin (3 paper(s) during 2003-2006)
10. Viorica Sofronie-Stokkermans (3 paper(s) during 2000-2006)
11. Florent Jacquemard (3 paper(s) during 1998-2000)
12. Christoph Meyer (3 paper(s) during 1997-1999)
13. Robert Giegerich (3 paper(s) during 1982-1987)
14. Pilar Nivela (2 paper(s) during 2001-2004)
15. David A. McAllester (2 paper(s) during 2001-2002)
16. David A. Basin (2 paper(s) during 1996-2001)
17. Christopher Lynch (2 paper(s) during 1992-1995)
18. Wayne Snyder (2 paper(s) during 1992-1995)
19. Knut Ripken (2 paper(s) during 1976-1977)
20. Albert Oliveras (1 paper(s) during 2004)
21. Cesare Tinelli (1 paper(s) during 2004)
22. George Hagen (1 paper(s) during 2004)
23. Thomas Hillenbrand (1 paper(s) during 2003)
24. Hans de Nivelle (1 paper(s) during 1999)
25. Véronique Cortier (1 paper(s) during 1999)
26. Andrei Voronkov (1 paper(s) during 1998)
27. Jörg H. Siekmann (1 paper(s) during 1998)
28. Peter H. Schmitt (1 paper(s) during 1998)
29. Renate A. Schmidt (1 paper(s) during 1998)
30. Ullrich Hustadt (1 paper(s) during 1998)
31. Christoph Weidenbach (1 paper(s) during 1997)
32. Fernando Orejas (1 paper(s) during 1993)
33. Hubert Baumeister (1 paper(s) during 1987)
34. Georg Heeg (1 paper(s) during 1986)
35. Michael Hanus (1 paper(s) during 1985)
36. Walter Willmertinger (1 paper(s) during 1985)
37. Ulrich Möncke (1 paper(s) during 1982)
38. Joachim Ciesinger (1 paper(s) during 1976)
39. R. Nollmann (1 paper(s) during 1976)
40. Walter Lahner (1 paper(s) during 1976)