@article(AbramskyB11,
 author       = {S. Abramsky and A. Brandenburger},
 year         = {2011},
 title        = {The sheaf-theoretic structure of non-locality and contextuality},
 journal      = {New. J. Phys.},
 volume       = {13},
 number       = {11},
 pages        = {113036},
 doi          = {10.1088/1367-2630/13/11/113036},
)
@inproceedings(AbramskyMS11,
 author       = {S. Abramsky and S. Mansfield and R. Soares Barbosa},
 year         = {2011},
 title        = {The cohomology of non-locality and contextuality},
 editor       = {B. Jacobs and P. Selinger and B. Spitters},
 booktitle    = {Quantum Physics and Logic (QPL) 2011},
 series       = {Elect. Proc. in Theor. Comp. Sci.},
 volume       = {95},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.95.1},
)
@article(Bell64,
 author       = {J. Bell},
 year         = {1964},
 title        = {On the Einstein--Podolsky--Rosen paradox},
 journal      = {Physics},
 volume       = {1},
 number       = {3},
 pages        = {195--200},
)
@article(BennettF97,
 author       = {M. Bennett and D. Foulis},
 year         = {1997},
 title        = {Interval and scale effect algebras},
 journal      = {Advan. Math.},
 volume       = {19},
 pages        = {200--215},
 doi          = {10.1006/aama.1997.0535},
)
@article(BirkhoffN36,
 author       = {G. Birkhoff and J. von Neumann},
 year         = {1936},
 title        = {The logic of quantum mechanics},
 journal      = {Ann. Math.},
 volume       = {37},
 pages        = {823--834},
 doi          = {10.2307/1968621},
)
@book(BottTu82,
 author       = {R. Bott and L. Tu},
 year         = {1982},
 title        = {Differential Forms in Algebraic Topology},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4757-3951-0},
)
@book(Burmeister86,
 author       = {P. Burmeister},
 year         = {1986},
 title        = {A Model Theoretic Oriented Approach to Partial Algebras},
 publisher    = {Akademie-Verlag},
)
@article(Connes83,
 author       = {A. Connes},
 year         = {1983},
 title        = {Cohomologie cyclique et foncteurs ${E}xt\sp n$},
 journal      = {C. R. Acad. Sci., Paris, S\'er. I},
 volume       = {296},
 pages        = {953--958},
 doi          = {10.1090/S0002-9939-1993-1143017-0},
)
@article(Connes85,
 author       = {A. Connes},
 year         = {1985},
 title        = {Non-commutative differential geometry.},
 journal      = {Publ. Math., Inst. Hautes \'Etud. Sci.},
 volume       = {62},
 number       = {1},
 pages        = {41--144},
 doi          = {10.1007/BF02698807},
)
@article(Dvurecenskij78,
 author       = {Dvure\v{c}enskij, A.},
 year         = {1978},
 title        = {Signed states on a logic},
 journal      = {Math. Slovaca},
 volume       = {28},
 number       = {1},
 pages        = {33--40},
)
@article(Dvurecenskij10,
 author       = {Dvure\v{c}enskij, A.},
 year         = {2010},
 title        = {Every state on interval effect algebra is integral},
 journal      = {J. Math. Phys.},
 volume       = {51},
 number       = {8},
 pages        = {083508, 12},
 doi          = {10.1063/1.3467463},
)
@book(DvurecenskijP00,
 author       = {Dvure\v{c}enskij, A. and S. Pulmannov{\'a}},
 year         = {2000},
 title        = {New Trends in Quantum Structures},
 publisher    = {Kluwer Acad. Publ.},
 address      = {Dordrecht},
 doi          = {10.1007/978-94-017-2422-7},
)
@article(FeldmanW98,
 author       = {D. Feldman and A. Wilce},
 year         = {1998},
 title        = {Abelian extensions of quantum logics},
 journal      = {Int. J. Theor. Phys.},
 volume       = {37},
 number       = {1},
 pages        = {39--43},
 doi          = {10.1023/A:1026605020810},
)
@article(FoulisB93,
 author       = {D. Foulis and M. Bennett},
 year         = {1993},
 title        = {Tensor product of orthoalgebras},
 journal      = {Order},
 volume       = {10},
 number       = {3},
 pages        = {271--282},
 doi          = {10.1007/BF01110548},
)
@article(FoulisB94,
 author       = {D. Foulis and M. Bennett},
 year         = {1994},
 title        = {Effect Algebras and Unsharp Quantum Logics},
 journal      = {Found. Phys.},
 volume       = {24},
 number       = {10},
 pages        = {1331--1352},
 doi          = {10.1007/BF02283036},
)
@article(FoulisGreechieBennett94,
 author       = {D. Foulis and R. Greechie and M. Bennett},
 year         = {1994},
 title        = {Sums and products of interval algebras},
 journal      = {Int. J. Theor. Phys.},
 volume       = {33},
 number       = {11},
 pages        = {2119--2136},
 doi          = {10.1007/BF00675796},
)
@article(FoulisR72,
 author       = {D. Foulis and C. Randall},
 year         = {1972},
 title        = {Operational statistics {I}: basic concepts},
 journal      = {J. Math. Phys.},
 volume       = {13},
 pages        = {1667--1675},
 doi          = {10.1063/1.1665890},
)
@book(Goodearl86,
 author       = {K. Goodearl},
 year         = {1986},
 title        = {Partially Ordered Abelian Groups with Interpolation},
 publisher    = {Amer. Math. Soc.},
)
@book(Gratzer68,
 author       = {G. Gr\"{a}tzer},
 year         = {1968},
 title        = {Universal Algebra},
 publisher    = {D. Van Nostrand Company},
)
@article(HamhalterNP95,
 author       = {J. Hamhalter and M. Navara and P. Pt\'{a}k},
 year         = {1995},
 title        = {States on orthoalgebras},
 journal      = {Int. J. Theor. Phys.},
 volume       = {34},
 number       = {8},
 pages        = {1439--1465},
 doi          = {10.1007/BF00676255},
)
@article(Holzer07,
 author       = {R. Holzer},
 year         = {2007},
 title        = {Greechie diagrams of orthomodular partial algebras},
 journal      = {Algebra Univers.},
 volume       = {57},
 number       = {4},
 pages        = {419--453},
 doi          = {10.1007/s00012-007-2051-z},
)
@article(JacobsM12,
 author       = {B. Jacobs and J. Mandemaker},
 year         = {2012},
 title        = {Coreflections in algebraic quantum logic},
 journal      = {Found. Phys.},
 volume       = {42},
 number       = {7},
 pages        = {932--958},
 doi          = {10.1007/s10701-012-9654-8},
)
@article(Jones87,
 author       = {J. Jones},
 year         = {1987},
 title        = {Cyclic homology and equivariant homology},
 journal      = {Invent. math.},
 volume       = {87},
 pages        = {403--423},
 doi          = {10.1007/BF01389424},
)
@book(Kalmbach83,
 author       = {G. Kalmbach},
 year         = {1983},
 title        = {Orthomodular lattices},
 publisher    = {Academic Press},
)
@book(Loday98,
 author       = {J. Loday},
 year         = {1998},
 title        = {Cyclic Homology},
 publisher    = {Springer Science + Business Media},
 doi          = {10.1007/978-3-662-11389-9},
)
@article(Loday84,
 author       = {J. Loday and D. Quillen},
 year         = {1984},
 title        = {Cyclic homology and the {L}ie algebra homology of matrices},
 journal      = {Comment. Math. Helv.},
 volume       = {59},
 pages        = {565--591},
 doi          = {10.1007/BF02566367},
)
@unpublished(Moerdijk96,
 author       = {I. Moerdijk},
 year         = {1996},
 title        = {Cyclic sets as a classifying topos},
 note         = {Preprint},
)
@article(Navara00,
 author       = {M. Navara},
 year         = {2000},
 title        = {State spaces of orthomodular structures},
 journal      = {Rend. Ist. Mat. Univ. Trieste},
 volume       = {31},
 pages        = {143--201},
)
@article(Pulmannova06,
 author       = {S. Pulmannov\'{a}},
 year         = {2006},
 title        = {Extensions of partially ordered partial abelian monoids},
 journal      = {Czechoslovak Math. J.},
 volume       = {56},
 number       = {131},
 pages        = {155--178},
 doi          = {10.1007/s10587-006-0011-y},
)
@phdthesis(Roumen16,
 author       = {F. Roumen},
 year         = {2016},
 title        = {Effect Algebroids},
 school       = {Radboud University},
 note         = {To appear},
)
@inproceedings(StatonU15,
 author       = {S. Staton and S. Uijlen},
 year         = {2015},
 title        = {Effect algebras, presheaves, non-locality and contextuality},
 editor       = {M. Halld\'{o}rsson and K. Iwama and N. Kobayashi and B. Speckmann},
 booktitle    = {International Colloquium on Automata, Languages, and Programming (ICALP) 2015},
 series       = {Lect. Notes in Comp. Sci.},
 volume       = {9135},
 pages        = {401--413},
 doi          = {10.1007/978-3-662-47666-6\_32},
)
@article(SvozilTkadlec96,
 author       = {K. Svozil and J. Tkadlec},
 year         = {1996},
 title        = {Greechie diagrams, nonexistence of measures in quantum logics, and Kochen-Specker-type constructions},
 journal      = {J. Math. Phys.},
 volume       = {37},
 number       = {11},
 pages        = {5380--5401},
 doi          = {10.1063/1.531710},
)
@article(Tsygan83,
 author       = {B. Tsygan},
 year         = {1983},
 title        = {The homology of matrix {L}ie algebras over rings and the {H}ochschild homology},
 journal      = {Russ. Math. Surv.},
 volume       = {38},
 number       = {2},
 pages        = {198--199},
 doi          = {10.1070/RM1983v038n02ABEH003481},
)
@book(Weibel94,
 author       = {C. Weibel},
 year         = {1994},
 title        = {An Introduction to Homological Algebra},
 publisher    = {Cambridge Univ. Press},
 doi          = {10.1017/CBO9781139644136},
)
@article(Wilce95,
 author       = {A. Wilce},
 year         = {1995},
 title        = {Partial abelian semigroups},
 journal      = {Int. J. Theor. Phys.},
 volume       = {34},
 number       = {8},
 pages        = {1807--1812},
 doi          = {10.1007/BF00676295},
)