On logical specifications of the Argument Interchange Format
2012 ◽
Vol 23
(5)
◽
pp. 951-989
◽
1993 ◽
Keyword(s):
1994 ◽
Keyword(s):