APA (7th ed.) Citation

SCHWINGHAMMER, J., BIRKEDAL, L., POTTIER, F., REUS, B., STØVRING, K., & YANG, H. (2013). A step-indexed Kripke model of hidden state. Mathematical Structures in Computer Science, 23(1), 1. https://doi.org/10.1017/S0960129512000035

Chicago Style (17th ed.) Citation

SCHWINGHAMMER, JAN, LARS BIRKEDAL, FRANÇOIS POTTIER, BERNHARD REUS, KRISTIAN STØVRING, and HONGSEOK YANG. "A Step-indexed Kripke Model of Hidden State." Mathematical Structures in Computer Science 23, no. 1 (2013): 1. https://doi.org/10.1017/S0960129512000035.

MLA (9th ed.) Citation

SCHWINGHAMMER, JAN, et al. "A Step-indexed Kripke Model of Hidden State." Mathematical Structures in Computer Science, vol. 23, no. 1, 2013, p. 1, https://doi.org/10.1017/S0960129512000035.