Argument-based explanation of logic programs. - Trevor J. M. Bench-Capon; D. Lowes; A. M. McEnery (Knowl. Based Syst., 1991)