@article{DBLP:journals/amai/DonaldsonM09,
author = {Alastair F. Donaldson and
Alice Miller},
title = {On the constructive orbit problem},
journal = {Ann. Math. Artif. Intell.},
volume = {57},
number = {1},
pages = {1-35},
year = {2009},
doi = {10.1007/S10472-009-9171-4},
}