Datalog on infinite structures. - Goetz Schwandtner (2008)