1. P.B. Andrews. Theorem proving via general matings. Journal of the ACM, 28(2):193–214, 1981.
2. W. Bibel. Automated Theorem Proving. Vieweg Verlag, 1987.
3. W. Bibel and E. Eder. Methods and calculi for deduction. In Dov M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificil Intelligence and Logic Programing-Logical Foundations, volume 1, pages 67–182. Oxford University Press, 1993.
4. G. Bittencourt. In the quest of the missing link. In Proceedings of IJCAI 15, Nagoya, Japan, August 23-29, pages 310–315. Morgan Kaufmann (ISBN 1-55860-480-4), 1997.
5. G. Bittencourt. Concurrent inference through dual transformation. Logic Journal of the Interest Group in Pure and Applied Logics (IGPL), 6(6):795–834, 1998.