author = { Bossi, Annalisa AND Rossi, Sabina },

title = { Logic-Based Program Synthesis and Transformation: Specialising Logic Programs with Respect to Call/Post Specifications },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

year = {1999},

url = { http://slubdd.de/katalog?TN_libero_mab2 }