stcrs.bib

@inproceedings{bla:00,
  author    = {Blanqui, F.},
  title     = {Termination and Confluence of Higher-Order Rewrite Systems},
  booktitle = {Proceedings of the 11th International Conference on Rewriting
               Techniques and Applications (RTA '00)},
  year      = {2000},
  series    = {LNCS},
  pages     = {47--61},
}

@inproceedings{jou:rub:99,
  author    = {Jouannaud, J. and Rubio, A.},
  title     = {The higher-order recursive path ordering},
  booktitle = {Proceedings of the 14th Annual Symposium on Logic in
               Computer Science (LICS '99)},
  year      = {1999},
  series    = {IEEE},
  pages     = {402--411},
  OPTmonth     = jul,
  OPTaddress   = {Trento, Italy}
}

@phdthesis{klo:80,
  author    = {Klop, J.W.},
  title     = {{C}ombinatory {R}eduction {S}ystems},
  school    = {CWI Netherlands},
  year      = {1980},
}

@phdthesis{kop:12,
  author    = {Kop, C.},
  title     = {Higher Order Termination},
  school    = {Radboud University Nijmegen},
  year      = {2012},
}

@article{kus:01,
  author    = {Kusakari, K.}, 
  title     = {On proving termination of term rewriting systems 
               with higher-order variables},
  journal   = {IPSJ Transactions on Programming},
  year      = {2001},
  volume    = {42}, 
  number    = {SIG 7 PRO11},
  pages     = {35--45},
}

@inproceedings{nip:91,
  author    = {Nipkow, T.},
  title     = {Higher-order critical pairs},
  booktitle = {Proceedings of the 6th Annual IEEE Symposium on Logic in
               Computer Science (LICS '91)},
  year      = {1991},
  editor    = {Kahn, G.},
  pages     = {342--349},
  publisher = {IEEE},
  OPTmonth     = {jul},
  OPTaddress   = {Amsterdam, The Netherlands}
}

@inproceedings{yam:01,
  author    = {Yamada, T.},
  title     = {Confluence and termination
               of simply typed term rewriting systems},
  booktitle = {Proceedings of the 12th International Conference
               on Rewriting Techniques and Applications (RTA '01)},
  year      = {2001},
  editor    = {Middeldorp, A.},
  volume    = {2051},
  series    = {LNCS},
  pages     = {338--352},
  publisher = {Springer},
  OPTaddress   = {Tsukuba, Japan},
}

% PTRS 
@inproceedings{avanzini2018ProbabilisticTermRewriting,
  title = {On {{Probabilistic Term Rewriting}}},
  booktitle = {Functional and {{Logic Programming}}},
  author = {Avanzini, Martin and Dal Lago, Ugo and Yamada, Akihisa},
  year = 2018,
  pages = {132--148},
  doi = {10.1007/978-3-319-90686-7_9}
}

@inproceedings{Gordon14,
  author       = {Andrew D. Gordon and
                  Thomas A. Henzinger and
                  Aditya V. Nori and
                  Sriram K. Rajamani},
    title        = {Probabilistic Programming},
  booktitle    = {Proc.\ FOSE~'14},
  pages        = {167--181},
OPTpublisher    = {{ACM}},
  year         = {2014},
  doi          = {10.1145/2593882.2593900},
  }