Roberto Barbuti Michael Codish Roberto Giacobazzi Michael J. Maher Oracle Semantics for Prolog. 100-114 1992 conf/alp/1992 ALP db/conf/alp/alp92.html#BarbutiCGM92 http://dx.doi.org/10.1007/BFb0013822