Intensional Approaches for Symbolic Methods. - Olga Kushnarenko; Sophie Pinchinat (MFCS Workshop on Concurrency, 1998)