Dominique Larchey-Wendling, Didier Galmiche. Looking at Separation Algebras with Boolean BI-eyes. Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. Springer, Lecture
HAL Archives-Ouvertes,
Dominique Larchey-Wendling, Didier Galmiche. Looking at Separation Algebras with Boolean BI-eyes.