Deville - Logic Program Synthesis and Transformation Proceedings of - X555z

Kohn - Boron Synthesis Structure and Properties Proceedings of the - X555z

Hill - Logic Based Program Synthesis and Transformation 15th Interna - X555z

Puebla - Logic-Based Program Synthesis and Transformation 16th Inter - X555z

Fernndez - Logic-Based Program Synthesis and Transformation 30th In - X555z

Alpuente - Logic-Based Program Synthesis and Transformation 20th Int - X555z

Vidal - Logic-Based Program Synthesis and Transformation 21st Interna - X555z

Fuchs - Logic Program Synthesis and Transformation 7th International - X555z