This work presents a sound and complete skolemization procedure for focused intuitionistic linear logic (LJF), which eliminates backtracking caused by resolving quantifiers in the wrong order.
