There is a paper draft at https://github.com/FLIF-hub/FLIF-doc, but most of the details still have to be written down (i.e. they're only in the code).

Writing out the detailed spec is going to take some effort.