Added TLfres (resolution library)