"Symbolic Execution of Concurrent Objects in CLP."

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics