Media type: E-Article Title: Logic-Based Program Synthesis and Transformation: Specialising Logic Programs with Respect to Call/Post Specifications Contributor: Bossi, Annalisa; Rossi, Sabina imprint: Springer Berlin Heidelberg, 1999 Published in: Logic-Based Program Synthesis and Transformation Language: Not determined DOI: 10.1007/3-540-48958-4_9 ISSN: 0302-9743 Origination: Footnote: