in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 8981, Pages: 148-163 (16)
Conference
24Th International Symposium on Logic-Based Program Synthesis and Transformation (Lopstr), Date: SEP 09-11, 2014, Location: Canterbury, ENGLAND, Host: Univ Kent