Pedagogical Rules in ActiveMath and their Pedagogical Foundations

@techreport{pub1915,
    author = {

Ullrich, Carsten
},
    title = {Pedagogical Rules in ActiveMath and their Pedagogical Foundations},
    year = {2003},
    volume = {SR-03-03}
}