Alama, J., Knoks, A., & Uckelman, S. L. (2011, December). Dialogue Games for Classical Logic (short paper). Presented at TABLEAUX 2011: Workshops, Tutorials, and Short Papers