Media type: E-Article Title: Computational Logic: Logic Programming and Beyond: Achievements and Prospects of Program Synthesis Contributor: Flener, Pierre imprint: Springer Berlin Heidelberg, 2002 Published in: Computational Logic: Logic Programming and Beyond Language: Not determined DOI: 10.1007/3-540-45628-7_13 ISSN: 0302-9743 Origination: Footnote: