Practical Strategic Reasoning With Applications In Market Games.