- RegDef: A Computer-assisted Definition Authoring and Formalisation System for Legal Experts
- BFO-Based Definition Analysis
- PhD Dissertation: Constraints on Information Selection in Terminographic Definitions: Towards Relevant Generic Relational Models