A resolution-based calculus for Coalition Logic | UPT Perpustakaan UHAMKA