1. H. Alshawi and D. B. Moran. The Delphi model and some preliminary experiments. In R. A. Kowalski and K. A. Bowen, editors, Proceedings of the 5th International Conference and Symposium on Logic Programming, pages 1578–1589, Seattle, USA, August 1988.
2. P. B. Andrews. Refutation by mating. IEEE Transactions on Computers C-25, pages 801–806, 1976.
3. K. R. Apt and M. H. van Emden. Contributions to the theory of logic programming. JACM, 29:841–863, 1982.
4. W. Bibel. Automated Theorem Proving. Vieweg, Braunschweig, 1982.
5. W. Bibel and Ph. Jorrand, editors. Foundation of AI, volume 232 of LNCS. Springer-Verlag, 1986.