@book{312791,
	author = {Lange, Christoph.},
	title = {Enabling collaboration on semiformal mathematical knowledge by semantic web integration /},
	publisher = {IOS Press :},
	year = {2011.},
	series = {Studies on the Semantic Web,},
	address = {Heidelberg, Germany :},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1589013}
}