TY  - GEN
UR  - https://www.etaps.org/index.php/2018/fossacs
PB  - Springer
ID  - discovery10044097
T3  - Lecture Notes in Computer Science
A1  - Docherty, S
A1  - Pym, D
AV  - public
Y1  - 2018/04/14/
TI  - Modular Tableaux Calculi for Separation Theories
ER  -