@inproceedings{conf/aiia/MonekossoR97,
	title = {Automated Reasoning On-Board Autonomous Spacecraft.},
	author = {Ndedi D. Monekosso and Paolo Remagnino},
	booktitle = {AI*IA},
	crossref = {conf/aiia/1997},
	editor = {Maurizio Lenzerini},
	pages = {290-301},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/aiia/aiia1997.html#MonekossoR97},
	volume = {1321},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2582a05fc02e90c773160ff4bffa0bad7/dblp},
	description = {dblp},
	date = {2008-04-30}, isbn = {3-540-63576-9},
	keywords = {dblp }
}