A simple theorem prover based on symbolic trajectory evaluation and BDD's | IEEE Journals & Magazine | IEEE Xplore