1. W. Bibel. Automated Theorem Proving. Vieweg Verlag, 1987.
2. G. Bittencourt. Boxing theories (abstract).Workshop on Logic, Language, Information and Computation (WoLLIC'96), Journal of the Interest Group in Pure and Applied Logics (IGPL), Imperial College, London and Max-PlanckInstitut, Saarbrücken, 4(1):479–481, 1996.
3. G. Bittencourt. Concurrent inference through dual transformation. Journal of the Interest Group in Pure and Applied Logics (IGPL), in press, 1997.
4. G. Bittencourt. In the quest of the missing link. In Proceedings of IJCAI 15, 1997.
5. R.J. Brachman and H.J. Levesque, editors. Readings in Knowledge Representation. Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1985.