A Fibrational Semantics for Logic Programs.

Yoshiki Kinoshita A. John Power A Fibrational Semantics for Logic Programs. 177-191 1996 conf/elp/1996 ELP db/conf/elp/elp96.html#KinoshitaP96 http://dx.doi.org/10.1007/3-540-60983-0_12