2 works on record
Logic-Based Program Synthesis and Transformation
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems