Publications

AuthID
P-00X-4SJ

Author(s)

Brunel, J

Chemouil, D

Document Type

Article

Year published

2022

Published

in JOURNAL OF AUTOMATED REASONING, ISSN: 0168-7433

Volume: 66, Issue: 4, Pages: 861-904 (44)

Indexing

Wos^®

Scopus^®

Crossref^®

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/s10817-022-09642-2

Dblp: journals/jar/MacedoBCC22

Scopus: 2-s2.0-85137875292

Unpaywall: 10.1007/s42452-022-05213-7

Wos: WOS:000852919500001

Source Identifiers

ISSN: 0168-7433

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links