Challenges for action theories - Thielscher, Michael (Lecture notes in computer science ;, 2000)