@article{DBLP:journals/ipl/AragonaCCL23,
  author       = {Riccardo Aragona and
                  Lorenzo Campioni and
                  Roberto Civino and
                  Massimo Lauria},
  title        = {Verification and generation of unrefinable partitions},
  journal      = {Inf. Process. Lett.},
  volume       = {181},
  pages        = {106361},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ipl.2023.106361},
  doi          = {10.1016/J.IPL.2023.106361},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/AragonaCCL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"bPAMZdnt8iysK5krg","bibbaseid":"aragona-campioni-civino-lauria-verificationandgenerationofunrefinablepartitions-2023","author_short":["Aragona, R.","Campioni, L.","Civino, R.","Lauria, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Riccardo"],"propositions":[],"lastnames":["Aragona"],"suffixes":[]},{"firstnames":["Lorenzo"],"propositions":[],"lastnames":["Campioni"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Civino"],"suffixes":[]},{"firstnames":["Massimo"],"propositions":[],"lastnames":["Lauria"],"suffixes":[]}],"title":"Verification and generation of unrefinable partitions","journal":"Inf. Process. Lett.","volume":"181","pages":"106361","year":"2023","url":"https://doi.org/10.1016/j.ipl.2023.106361","doi":"10.1016/J.IPL.2023.106361","timestamp":"Tue, 21 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/ipl/AragonaCCL23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ipl/AragonaCCL23,\n author = {Riccardo Aragona and\n Lorenzo Campioni and\n Roberto Civino and\n Massimo Lauria},\n title = {Verification and generation of unrefinable partitions},\n journal = {Inf. Process. Lett.},\n volume = {181},\n pages = {106361},\n year = {2023},\n url = {https://doi.org/10.1016/j.ipl.2023.106361},\n doi = {10.1016/J.IPL.2023.106361},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/ipl/AragonaCCL23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n","author_short":["Aragona, R.","Campioni, L.","Civino, R.","Lauria, M."],"key":"DBLP:journals/ipl/AragonaCCL23","id":"DBLP:journals/ipl/AragonaCCL23","bibbaseid":"aragona-campioni-civino-lauria-verificationandgenerationofunrefinablepartitions-2023","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.ipl.2023.106361"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","dataSources":["PCdRvyaDZRZMeqKhf"],"keywords":[],"search_terms":["verification","generation","unrefinable","partitions","aragona","campioni","civino","lauria"],"title":"Verification and generation of unrefinable partitions","year":2023}