Index of /~haarslev/publications/vl95paper