Citace podle APA (7th ed.)

DRABENT, W., & MIŁKOWSKA, M. (2005). Proving correctness and completeness of normal programs – a declarative approach. Theory and practice of logic programming, 5(6), 669-711. https://doi.org/10.1017/S147106840500253X

Citace podle Chicago (17th ed.)

DRABENT, WŁODZIMIERZ, a MIROSŁAWA MIŁKOWSKA. "Proving Correctness and Completeness of Normal Programs – a Declarative Approach." Theory and Practice of Logic Programming 5, no. 6 (2005): 669-711. https://doi.org/10.1017/S147106840500253X.

Citace podle MLA (9th ed.)

DRABENT, WŁODZIMIERZ, a MIROSŁAWA MIŁKOWSKA. "Proving Correctness and Completeness of Normal Programs – a Declarative Approach." Theory and Practice of Logic Programming, vol. 5, no. 6, 2005, pp. 669-711, https://doi.org/10.1017/S147106840500253X.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..