Mathematical aspects of logic programming semantics - Hitzler Pascal; Seda Anthony (Boca Raton CRC Press, 2011)
Keywords: Logic programming; Programming languages(Electronic computers)-semantics