Papers

Alastair F. Donaldson, Alice Miller. On the Constructive Orbit Problem. Annals of Mathematics and Artificial Intelligence 57(1):1-35. Springer, 2009.

Bibtex:

@article{DonaldsonM_AMAI2009,
   title      = {On the Constructive Orbit Problem},
   author     = {Alastair F. Donaldson and Alice Miller},
   journal    = {Annals of Mathematics and Artificial Intelligence},
   volume     = {57},
   issue      = {1},
   pages      = {1-35},
   publisher  = {Springer},
   year       = {2009}
}