Andrei Mantsivoda Vyacheslav Petukhin Alexei Weimann Memory Management of Constraint in Flang. 633-646 1993 ICLP db/conf/iclp/iclp93.html#MantsivodaPW93