Deduction as a Service. - Mohamed Hassona; Stephan Schulz 001 (PAAR@IJCAR, 2016)