- Studied in the 2015 TPLP paper: "Semantics of templates in a compositional framework for building logics"
- Four concrete examples of templates: