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