@article{Thimm:2017a,
	Author = {Matthias Thimm},
	Journal = {K{\"u}nstliche Intelligenz},
	Month = {March},
	Number = {1},
	Pages = {93--97},
	Title = {The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation},
	Volume = {31},
	Year = {2017}}