Journal Title : Journal of Automated Reasoning

Secondary Title :

Parent Database :

DOI :

ISSN : 1573-0670

ISBN :