TY - GEN
AU - Bossi, Annalisa
AU - Rossi, Sabina
TI - Logic-Based Program Synthesis and Transformation: Specialising Logic Programs with Respect to Call/Post Specifications
PB - Springer Berlin Heidelberg
SN - 0302-9743
PY - 1999
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation