(2010). Logic-based program synthesis and transformation: 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers / Danny De Schreye, ed.
Chicago Style (17th ed.) CitationLogic-based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / Danny De Schreye, Ed. 2010.
MLA引文Logic-based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / Danny De Schreye, Ed. 2010.
警告：這些引文格式不一定是100％准確.