Practical Partition-Based Theorem Proving for Large Knowledge Bases (2003)

by Bill Maccartney , Sheila Mcilraith
Citations:25 - 4 self