Mathematical aspects of logic programming semantics - Hitzler, Pascal; Seda, Anthony (Chapman & Hall/CRC studies in informatics series., 2011)