| 2002 | ||
|---|---|---|
| 2 | Christopher Partridge, Milena Stefanova: Synthesising an Industrial Strength Enterprise Ontology. ICEIMT 2002: 101-109 | |
| 1995 | ||
| 1 | Milena Stefanova, Herman Geuvers: A Simple Model Construction for the Calculus of Constructions. TYPES 1995: 249-264 | |
| 1 | Herman Geuvers | [1] |
| 2 | Christopher Partridge | [2] |