Abductive reasoning through direct deduction from completed domain models. Mothodologies for intellegent systems (1989)

by L Console, D T Dupré, P Torasso