Publications
“A Logical Approach To The Analysis Of Metaphors” . Logical and Computational Aspects of Model-Based Reasoning 25: 21–37.
. 2002. “The Symbolic Model For Algebra: Functions And Mechanisms” . Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.
. 2010.