2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերում2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE.
MLA (8րդ խմբ.) Մեջբերում2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.