Abduction by Non-Experts.

Nikolaj S. Bjrner, Dejan Jovanovic, Tancrde Lepoint, Philipp Rmmer, Martin Schf

Browse the full LPAR paper archive.