"Why Multi-SLD Beats SLD (Even on a Uniprocessor)."

Donald A. Smith (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics