And-Or Graphs Applied to RUE Resolution.

Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian

Browse the full IJCAI paper archive.