~ / papers / talks / IDA-10-2000 /