Notes and examples from the answer set programming session at SPA 2013