Malik, Petra2012-10-092021-03-172012-10-092021-03-172011https://ir.wgtn.ac.nz/handle/123456789/2611pdfen-NZComputer ScienceCOMP425: Computer Science: Computational LogicTextCOMP425COMP 425examComputational Logic