Rule-based Languages for Reasoning on Data : Analysis, Design and Applications
Origin : Files produced by the author(s)