@inproceedings{JMP07ENTCS,
   author = "P. Juli\'an and G. Moreno and J. Penabad",
   title = "Efficient Reductants Calculi using Partial
  Evaluation Techniques with Thresholding",
   booktitle = {Electronic Notes in Theoretical Computer Science},
   volume = {188},
   issue = {15},
   pages = {77--90},
   publisher = {Elsevier},
   editor = {P. Lucio},
   year = {2007}
}