Title: Rule Technologies. Research, Tools, and Applications
Subjects: Semantics, Computer programming