Journal of Automated Reasoning

• ISSN 0168-7433
• Publisher: Kluwer Academic Publishers
  • Kluwer Academic Publishers Web Page
  • Kluwer Academic Publishers Gopher Server
  • Kluwer Academic Publishers Anonymous FTP Server
  • Kluwer On-line Information (At ftp.std.com)
• Publisher's Title Page for JAR
• Tables of Contents (from Kluwer)
• JAR Home Page (Argonne National Lab).
• Scribe and Plain-text bibliographies from CMU E&S Library
• Available via the CARL UnCover Document Delivery Service (24 hour fax delivery).
• Available via the CISTI Document Delivery Service (48 hour)