Merkliste 
 1 Ergebnisse 
 
1

Metalevel argumentation:

Modgil, S. ; Bench-Capon, T. J. M.
Journal of Logic and Computation.  21 (2010)  6 - p. 959-1003 , 2010