Beate Baum Peter Forbrig The System FLR (Fast Laboratory for Recomposition). 427-428 1991 PLILP db/conf/plilp/plilp91.html#BaumF91 http://dx.doi.org/10.1007/3-540-54444-5_121