https://123dok.com/document/yd8wgleq-suatu-kajian-tentang-penyaringan-terurut-dari-semigrup-implikatif.html