"An Introduction to Symbolic Trajectory Evaluation."

Koen Claessen, Jan-Willem Roorda (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics