Journal of Automated Reasoning Revista uri icon

International Standard Serial Number (ISSN)

  • 0168-7433
  • 1573-0670