@misc {IOPORT.70105964,
    author       = {Winkler, Franz},
    title        = {Canonical reduction systems in symbolic mathematics},
    howpublished = {CAI, 123-135 (2009).},
    year         = {2009},
    doi          = {10.1007/978-3-642-03564-7_7},
    identifier   = {70105964},
}