Computational Logic Research Group
Institute of Computer Science
University of Innsbruck
Austria

link: JAIST homepage
email: (λxy.christianysternagelxuibkyacyat) @ .