Công việc sản xuất cho các ngành cơ sở toán học để theo dõi máy tính của Gabriel Estevam - Đại học Liên bang Santa Catarina.
Thuật toán xây dựng bảng sự thật từ một đề xuất sử dụng một sự thích nghi của phương pháp chế biến của các phương trình toán học để hình thức hậu tố của Feofiloff Paul, thuật toán trong ngôn ngữ C