Karya yang dihasilkan untuk Yayasan disiplin Matematika untuk memantau komputasi oleh Gabriel Estevam - Universitas Federal Santa Catarina.
Algoritma konstruksi tabel kebenaran dari proposisi menggunakan sebuah adaptasi dari metode pengolahan persamaan matematika untuk bentuk postfix dari Feofiloff Paul, Algoritma dalam Bahasa C