Rule-Based Reasoning, Programming, and Applications: 5th International ...
Nick Bassiliades & Guido Governatori & Adrian Paschke