Source

In: Computer Science Logic. 9th Workshop, CSL'95. Selected Papers (Springer, Berlin, 1996) 1-15
(with Matthias Baaz and Alexander Leitsch)