"Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths."

Gianpiero Cabodi, Paolo Camurati, Stefano Quer (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics