@article{1449488,
      note = {Includes author index.},
      author = {Villanueva, Alicia,},
      url = {http://library.usi.edu/record/1449488},
      title = {Logic-based program synthesis and transformation : 32nd  International Symposium, LOPSTR 2022, Tbilisi, Georgia,  September 21-23, 2022, Proceedings /. LOPSTR (Symposium)},
      abstract = {This book constitutes the refereed proceedings of the 32nd  International Symposium on Logic-Based Synthesis and  Transformation, LOPSTR 2022, which was held during  September 21-23, 2022. The 8 full papers were selected from  17 submissions and cover different aspects of logic-based  program development, all stages of the software life cycle,  and issues of both programming-in-the-small and  programming-in-the-large.},
      doi = {https://doi.org/10.1007/978-3-031-16767-6},
      recid = {1449488},
      pages = {1 online resource (xiii, 155 pages) :},
}