Journal | Authors
Confirmation and reduction
2011
F. Dizadji-BahmaniRoman FriggStephan Hartmann
Synthese 179/2
