wp is wlp

B. Möller, G. Struth

published 2006 in W. MacCaull, M. Winter and I. Duentsch (eds.): Relational Methods in Computer Science, LNCS 3929.
pp. 200-211, 2006.
Springer.