Metalevel argumentation (2011)

by Sanjay Modgil, Trevor J M Bench-Capon
Venue:J. Log. Comput