On the constructive orbit problem

Alastair F. Donaldson, Alice Miller. On the constructive orbit problem. Annals of Mathematics and Artificial Intelligence, 57(1):1-35, 2009. [doi]

Abstract

Abstract is missing.