Algorithms for near-rings of non-linear transformations. - Franz Binder; Erhard Aichinger; Jürgen Ecker; Christof Nöbauer; Peter Mayr 001 (ISSAC, 2000)