Journal Title : Journal of Automated Reasoning

Secondary Title :

Parent Database : Springer Nature Journals

DOI :

ISSN : 1573-0670

ISBN :