Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Association for Computing Machinery (ACM).
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Association for Computing Machinery (ACM).
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Association for Computing Machinery (ACM).
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.