ByNobleID
    Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers | NobleID