एपीए उद्धरण

Trần Ngọc Anh. Một số thuật toán chứng minh tự động trong logic mệnh đề.

शिकागो स्टाइल उद्धरण

Trần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.

एमएलए उद्धरण

Trần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.