Computing Minimal Refutations.

Published in: SCAI (1991)

Keyphrases

data structure
digital libraries
databases
search engine
social networks
high level
cooperative
theorem prover
efficient computation