Restarted and Truncated Versions of ABS Methods for Large Linear Systems: a Basic Framework