Assumption-Based Reasoning and Clause Management Systems.

Alex Kean George K. Tsiknis Assumption-Based Reasoning and Clause Management Systems. 1-24 1992 8 Computational Intelligence db/journals/ci/ci8.html#KeanT92