Mathematical Aspects of Logic Programming Semantics. - Hitzler, Pascal. (Taylor & Francis Group, 2010)