An efficient algorithm for unit-propagation," presented at (1996)

by H Zhang, M Stickel
Venue:International Symposium on Artificial Intelligence and Mathematics, Ft