Repository | Directory | Profile
(2000-2009)
Unification and explanation
2002
Erik WeberMaarten Van Dyck
Synthese 131/1