Fast Offline Partial Evaluation of Large Logic Programs | Publicación