@inproceedings{conf/eurovav/SpreeuwenbergG99,
	title = {A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.},
	author = {Silvie Spreeuwenberg and Rik Gerrits},
	booktitle = {EUROVAV},
	crossref = {conf/eurovav/1999},
	editor = {Anca I. Vermesan and Frans Coenen},
	pages = {67-78},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html#SpreeuwenbergG99},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/21e15226d788832461c42f15ee42b6585/dblp},
	description = {dblp},
	isbn = {0-7923-8645-0}, date = {2002-01-03},
	keywords = {dblp }
}