Bolette Ammitzbøll Madsen, Jesper Makholm Byskov, and Bjarke Skjernaa Tech. report RS-02-17, Aarhus Univ., Datalogisk afdeling, Center for Basic Research in Computer Science (BRICS), Apr 2002 http://www.brics.dk/RS/02/17/
Cites: