A Theory of First-Order Built-in's of Prolog.

Krzysztof R. Apt Elena Marchiori Catuscia Palamidessi A Theory of First-Order Built-in's of Prolog. 69-83 1992 conf/alp/1992 ALP db/conf/alp/alp92.html#AptMP92 http://dx.doi.org/10.1007/BFb0013820