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