1. Baker, A. B., & Ginsberg, M. L. (1989). A theorem prover for prioritized circumscription. In N. S. Sridharan (Ed.), Proceedings of the 11th international joint conference on artificial intelligence (pp 463–467). San Francisco: Morgan Kaufmann.
2. Beardsley, M. C. (1950). Practical logic. Englewood Cliffs: Prentice-Hall.
3. Betz, G. (2005). The vicious circle theorem—a graph-theoretical analysis of dialectical structures. Argumentation, 19(1), 53–64.
4. Birnbaum, L. (1982). Argument molecules: A functional representation of argument structure. In D. L. Waltz (Ed.), Proceedings of the national conference on artificial intelligence (pp. 63–65). Menlo Park: AAAI.
5. Bondarenko, A., Dung, P. M., Kowalski, R. A., & Toni, F. (1997). An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93(1–2), 63–101.