Efficient model checking using tabled resolution (1997)

by Y S Ramakrishna, C R Ramakrishnan, I V Ramakrishnan, S A Smolka, T Swift, D S Warren