Mathematical Aspects Of Logic Programming Semantics door Pascal Hitzler & Anthony Seda