LDR 01390nas a2200301 a 4500 001 itacnp42312 003 IT-ACNP 005 20240718070000.0 007 ta 008 920519 19859999nldq p engta 022 _a0168-7433 024 7 _aP 00063661 _2CNR 024 7 _aitacnp42312 _2IT-ACNP 035 _a(ISSN)0168-7433 040 _aacnp 044 _anld _cNLD 080 _a681.3 080 _a007.52 082 _a6.3 082 _aNULL 222 0 _aJournal of automated reasoning 245 00 _aJournal of automated reasoning 260 _aDordrecht _bReidel 264 2 _cData export is allowed to ACNP participating libraries for institutional purposes and to individuals for personal, non-commercial uses only. Please contact the Bologna University ACNP Team ( acnp.sba.unibo.it/chi-siamo/staff-acnp ) to request permission to use exported data outside the scope of the above license, including but not limited to republication to a group or republishing the website or parts of the website. 264 4 _bUniversità di Bologna _ccopyright2024 776 1 _tJournal of automated reasoning (Dordrecht. Online) _w2112714 _x1573-0670 856 40 _aacnp.unibo.it _nACNP Italian Union Catalogue of Serials _uhttps://acnpsearch.unibo.it/journal/42312 856 40 _aacnp.sba.unibo.it/ _nARPAC Area Patrimonio Culturale - Università di Bologna _macnp.support@unibo.it _uhttps://acnp.sba.unibo.it