Technische Universität Wien Department of Formal Languages Theory and Logic Group
Address: Favoritenstrasse 9-11 A-1040 Wien, Austria E-mail: agata@logic.at Phone: +43 1 58801-18545 Fax: +43 1 58801-18597