From (Quantified) Boolean Formulae to Answer Set Programming | UPT Perpustakaan UHAMKA