@inproceedings{fuchs2010cnlmain,
	author = {Fuchs, Norbert E.},
	title = {First-Order Reasoning for {A}ttempto {C}ontrolled {E}nglish},
	booktitle = {Proceedings of the Second International Workshop on Controlled Natural Language (CNL 2010)},
	editor = {Rosner, Michael and Fuchs, Norbert E.},
	series = {Lecture Notes in Computer Science},
	volume = {7175},
	pages = {73--94},
	publisher = {Springer},
	address = {Berlin / Heidelberg, Germany},
	year = {2012},
	isbn = {978-3-642-31174-1},
}