wp is wlp

B. Möller, G. Struth

8th International Conference on Relational Methods in Computer Science RelMiCS 8.
St. Catherines, Ontario, Canada, Feb. 2005.