TY - BOOK T1 - Mathematical Aspects of Logic Programming Semantics T2 - Studies in Informatics Y1 - 2010 A1 - Pascal Hitzler A1 - Anthony K. Seda JF - Studies in Informatics PB - Chapman and Hall/CRC Press ER -