1. An argumentation-theoretic semantics based on non-refutable falsity;Alferes,1994
2. S.J. Alvarado, Argument comprehension, in: S. Shapiro, ed., Encyclopedia of Artificial Intelligence 30–52.
3. Towards an artificial intelligence model of argumentation;Birnbaum,1980
4. Towards a theory of declarative knowledge;Apt,1988
5. A theorem prover for prioritised circumscription;Baker,1989