1
by Hitzler, Pascal
Published 2011
Taylor & Francis
... account of the mathematical methods and tools required for the semantic analysis of logic programs...