On the Expressivity of Byzantine Diagrams in Logic.

Jens Lemanski, Reetu Bhattacharjee

Browse the full DIAGRAMS paper archive.