Synthese, Volume 109

Volume 109, Number 1, October 1996

Volume 109, Number 2, November 1996

Volume 109, Number 3, December 1996

a service of Schloss Dagstuhl - Leibniz Center for Informatics