%0 Journal Article %A Dawson, Jeremy E. %D unknown %T Embedding display calculi into logical frameworks : Comparing twelf and Isabelle