@proceedings{Bridges*96:Combinatorics, title = "Combinatorics, Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science", year = "1996", address = "Singapore", editor = "Douglas Bridges and Cris Calude and Jeremy Gibbons and Steve Reeves and Ian Witten", publisher = "Springer-Verlag", }