APA   Click to copy
Botta, N., Jansson, P., Ionescu, C., Christiansen, D. R., & Brady, E. C. (2017). Sequential decision problems, dependent types and generic solutions. Log. Methods Comput. Sci., 13.

Chicago/Turabian   Click to copy
Botta, Nicola, Patrik Jansson, Cezar Ionescu, David R. Christiansen, and Edwin C. Brady. “Sequential Decision Problems, Dependent Types and Generic Solutions.” Log. Methods Comput. Sci. 13 (2017).

MLA   Click to copy
Botta, Nicola, et al. “Sequential Decision Problems, Dependent Types and Generic Solutions.” Log. Methods Comput. Sci., vol. 13, Episciences. org, 2017.

@article{botta2017a,
  title = {Sequential decision problems, dependent types and generic solutions},
  year = {2017},
  journal = {Log. Methods Comput. Sci.},
  publisher = {Episciences. org},
  volume = {13},
  author = {Botta, Nicola and Jansson, Patrik and Ionescu, Cezar and Christiansen, David R. and Brady, Edwin C.}
}