Vukmirović, P., Blanchette, J., Cruanes, S., & Schulz, S. (2022). Extending a brainiac prover to lambda-free higher-order logic. International journal on software tools for technology transfer, 24(1), 67-87. https://doi.org/10.1007/s10009-021-00639-7
Citácia podle Chicago (17th ed.)Vukmirović, Petar, Jasmin Blanchette, Simon Cruanes, a Stephan Schulz. "Extending a Brainiac Prover to Lambda-free Higher-order Logic." International Journal on Software Tools for Technology Transfer 24, no. 1 (2022): 67-87. https://doi.org/10.1007/s10009-021-00639-7.
Citácia podľa MLA (8th ed.)Vukmirović, Petar, et al. "Extending a Brainiac Prover to Lambda-free Higher-order Logic." International Journal on Software Tools for Technology Transfer, vol. 24, no. 1, 2022, pp. 67-87, https://doi.org/10.1007/s10009-021-00639-7.