Automatic presentations of infinite structures.

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)