Algorithmic Properties of Structures door E. Engeler