The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in C).