Pierre Marquis. Mechanizing skeptical abduction and its applications to artificial intelligence. In Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. pages 300-307, IEEE, 1991. [doi]
Abstract is missing.