Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Author Details:

Firstname	Franz
Lastname	Baader
Email	baader@tcs.inf.tu-dresden.de
URL	http://lat.inf.tu-dresden.de/~baader/index-en.html