liable logics language using not logics inside allowable job scheduling.pdf