TY - RPRT TI - Logic program specialisation through partial deduction: Control issues AU - Michael Leuschel AU - Maurice Bruynooghe PY - 2002 UR - https://arxiv.org/abs/cs/0202012 ID - cs/0202012 ER -