1. Bibel W., 1982. Automated Theorem Proving, Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden.
2. Bibel W., 1983. Matings in Matrices. CACM 26, pp. 844–852.
3. Bibel W., Aspetsberger K., 1985. A Bibliography on Parallel Inference Machines. J. Symbolic Computation (1985), 1/1, p. 115–118.
4. Bibel W., Buchberger B., 1984. Towards a Connection Machine for Logical Inference. First presented at: Int. Symp. on Fifth Generation and Super Computers, Rotterdam, Dec. 11–13, 1984. Appeared in: Future Generations Computer Systems, 1/3, p. 177–188, North Holland Publishing Company.
5. Buchberger B., 1978. Computer Trees and their Programming. 4th Coll. “Trees in algebra and programming”, Univ. Lille, Feb. 16–18, p. 1–18.