A Framework for Representing and Characterizing Semantics of Logic Programs.

Jürgen Dix A Framework for Representing and Characterizing Semantics of Logic Programs. 591-602 1992 KR db/conf/kr/kr92.html#Dix92