Journal Title : Journal of Automated Reasoning

Secondary Title :

Parent Database : Springer-Nature 1950 (E-Journals)

DOI :

ISSN : 1573-0670

ISBN :