Repository | Directory | Profile
(2010-2019)
Confirmation and reduction
2011
F. Dizadji-BahmaniRoman FriggStephan Hartmann
Synthese 179/2