"Trailing Analysis for HAL."

Tom Schrijvers, Maria J. García de la Banda, Bart Demoen (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics