. Holide
,
Assaf) Semantics of FoCaLiZe in Dedukti