A uniform approach to logic programming semantics.

Pascal Hitzler Matthias Wendt A uniform approach to logic programming semantics. 93-121 2005 5 TPLP 1-2 http://dx.doi.org/10.1017/S1471068404002212 db/journals/tplp/tplp5.html#HitzlerW05