Logic Based Program Synthesis And Transformation: 13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Logic-Based Program Synthesis And Transformation : 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers