Journal Title : Journal of Automated Reasoning

Secondary Title :

Parent Database : Springer Nature E-Books

DOI :

ISSN : 1573-0670

ISBN :