WP is WLP (2006)

by B Möller, G Struth
Venue:Relational Methods in Computer Science