Authors: Bankes, SC Lempert, RJ Popper, SW

Citation: Sc. Bankes et al., Computer-assisted reasoning, COMPUT SC E, 3(2), 2001, pp. 71-77