LDR 01569nas a2200289 a 4500 001 itacnp2263470 003 IT-ACNP 005 20240730070000.0 007 cr 008 040507 20012014nldb p engcr 022 _a1873-5940 024 7 _aP 00243116 _2CNR 024 7 _aitacnp2263470 _2IT-ACNP 035 _a(ISSN)1873-5940 040 _aacnp 044 _anld _cNLD 222 0 _aThe Journal of logic and algebraic programming _bOnline 245 00 _aThe Journal of logic and algebraic programming 260 _aAmsterdam _bElsevier Science 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 541 _aissn _e2522756 780 1 _tThe Journal of logic programming (Online) _w2107482 _x1873-5789 785 10 _tThe Journal of logical and algebraic methods in programming (Online) _w3024795 _x2352-2216 776 1 _tThe Journal of logic and algebraic programming _w2078004 _x1567-8326 856 40 _aacnp.unibo.it _nACNP Italian Union Catalogue of Serials _uhttps://acnpsearch.unibo.it/journal/2263470 856 40 _aacnp.sba.unibo.it/ _nARPAC Area Patrimonio Culturale - Università di Bologna _macnp.support@unibo.it _uhttps://acnp.sba.unibo.it