Tematres:  management formal representations of knowledge

File #65: "ManualTematresSAIJ2017.pdf"