Relevancy propagation. (2007)

by L de Moura, N Bjørner