Direkt zum Inhalt | Direkt zur Navigation
A. Frank, H.-U. Krieger, F. Xu, H. Uszkoreit, B. Crysmann, B. Jörg, and U. Schäfer (2007)
Journal of Applied Logic, 5:20-48.