A decision procedure revisited: Notes on direct logic, linear logic and its implementation