The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation | UPT Perpustakaan UHAMKA