Media type: E-Article Title: Logic Programming: Schema-Based Transformations of Logic Programs in λProlog Contributor: Olmer, Petr; Štěpánek, Petr imprint: Springer Berlin Heidelberg, 2002 Published in: Logic Programming Language: Not determined DOI: 10.1007/3-540-45619-8_36 ISSN: 0302-9743 Origination: Footnote: