R. Reiter
Univ. of Toronto, Ontario, Canada
Logical models of argument
ACM Computing Surveys (CSUR)
Specification and Analysis of Real-Time Problem Solvers
IEEE Transactions on Software Engineering