Deduction systems in artificial intelligence - Blasius; Burckert