bibliographic resource 1563260 [br/1563260]
https://w3id.org/oc/corpus/br/1563260

is a

• document
• periodical journal

title

• J Autom Reasoning - Journal of Automated Reasoning

identifier

• https://w3id.org/oc/corpus/id/2788819
• https://w3id.org/oc/corpus/id/2788820