An Efficient Abductive Reasoning System Based on Program Analysis.

Shohei Kato, Hirohisa Seki, Hidenori Itoh

Browse the full SAS paper archive.