Konstantinos F. Sagonas, Terrance Swift, David Scott Warren. XSB as an Efficient Deductive Database Engine. In Richard T. Snodgrass, Marianne Winslett, editors, Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota, May 24-27, 1994. pages 442-453, ACM Press, 1994. [doi]