Theory and practice of logical reconstruction: Anselm as a model caseFriedrich ReinmuthEsauritoAvvisami