An integer programming formulation of the Steiner problem in graphs. - Mamadi Diané; Ján Plesník (ZOR Methods Model. Oper. Res., 1993)