@inproceedings{wes98,
  AUTHOR = {C\'{e}sar Mu\~{n}oz},
  TITLE = {Proof Synthesis via Explicit Substitutions on Open Terms}, 
  BOOKTITLE = {Proceedings of the International Workshop on Explicit Substitutions, Theory and Applications, {WESTAPP} 98},
  YEAR = {1998},
  ADDRESS = {Tsukuba, Japan},
  MONTH = {April},
  URL = {http://www.csl.sri.com/papers/wes98/}
}