Bonnay, D.; Wsterståhl, D. Logical Consequence Inside Out. Proceedings of the AC 2009, 167-176.