APA (7th ed.) Citation

FARKA, F., KOMENDANTSKYA, E., HAMMOND, K., Dal Palu, A., & Tarau, P. (2018). Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Theory & Practice of Logic Programming, 18(3/4), 484. https://doi.org/10.1017/S1471068418000212

Chicago Style (17th ed.) Citation

FARKA, FRANTIŠEK, EKATERINA KOMENDANTSKYA, KEVIN HAMMOND, Alessandro Dal Palu, and Paul Tarau. "Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis." Theory & Practice of Logic Programming 18, no. 3/4 (2018): 484. https://doi.org/10.1017/S1471068418000212.

MLA (9th ed.) Citation

FARKA, FRANTIŠEK, et al. "Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis." Theory & Practice of Logic Programming, vol. 18, no. 3/4, 2018, p. 484, https://doi.org/10.1017/S1471068418000212.