@inproceedings{conf/aips/MarthiRW07,
	title = {Angelic Semantics for High-Level Actions.},
	author = {Bhaskara Marthi and Stuart Russell and Jason Wolfe},
	booktitle = {ICAPS},
	crossref = {conf/aips/2007},
	editor = {Mark S. Boddy and Maria Fox and Sylvie Thiébaux},
	pages = {232-239},
	publisher = {AAAI},
	url = {http://dblp.uni-trier.de/db/conf/aips/icaps2007.html#MarthiRW07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/20c1ffced095b1d5ce13878fe0f70ba64/dblp},
	description = {dblp},
	isbn = {978-1-57735-344-7}, date = {2008-08-15},
	keywords = {dblp }
}