Journal of Automated Reasoning

• 2008: Volumes 40, ...
• 2007: Volumes 38, 39
• 2006: Volumes 36, 37
• 2005: Volumes 34, 35
• 2004: Volumes 32, 33
• 2003: Volumes 30, 31
• 2002: Volumes 28, 29
• 2001: Volumes 26, 27
• 2000: Volumes 24, 25
• 1999: Volumes 22, 23
• 1998: Volumes 20, 21
• 1997: Volumes 18, 19
• 1996: Volumes 16, 17
• 1995: Volumes 14, 15
• 1994: Volumes 12, 13
• 1993: Volumes 10, 11
• 1992: Volumes 8, 9
• 1991: Volume 7
• 1990: Volume 6
• 1989: Volume 5
• 1988: Volume 4
• 1987: Volume 3
• 1986: Volume 2
• 1985: Volume 1