@techreport{H2003,author={Pascal Hitzler},title={Corollaries on the fixpoint completion: studying the stable
semantics by means of the Clark completion},institution={Knowledge Representation and Reasoning Group, Institute for
Artificial Intelligence, Department of Computer Science,
Dresden University of Technology, Dresden, Germany},year={2003}}