"External Propagators in WASP: Preliminary Report."

Carmine Dodaro, Francesco Ricca, Peter Schüller (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics