Introduction to the OBDD Algorithm for the ATP (1994)

by J S Moore
Venue:Community, Journal of Automated Reasoning