db/journals/jar/index.html Journal of <k/>Automated Reasoning J. Autom. Reason. https://www.springer.com/journal/10817 http://www-unix.mcs.anl.gov/AAR/ https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning Q6294821 0168-7433 1573-0670