Reduced Implicate Tries with Updates | UPT Perpustakaan UHAMKA