Merkliste 
 1 Ergebnisse 
 
1

Completeness and partial soundness results for intersection..:

van Bakel, Steffen
Annals of Pure and Applied Logic.  161 (2010)  11 - p. 1400-1430 , 2010