Keyword:abduction

Papers
Abduction by Non-Experts Nikolaj Bjorner, Dejan Jovanović, Tancrède Lepoint, Philipp Rümmer and Martin Schäf In:IWIL Workshop and LPAR Short Presentations