Torasso Abductive reasoning through direct deduction from completed domains models. Methodologies for Intelligent Systems (1989)

by L Console, D Theseider Dupre, P