RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC5713,
    author = {Temur Kutsia and Cleo Pau},
    title = {{Proximity-Based Generalization}},
    booktitle = {{32nd International Workshop on Unification, UNIF 2018}},
    language = {english},
    pages = { -- },
    isbn_issn = { },
    year = {2018},
    editor = {Mauricio Ayala-Rincon and Philippe Balbiani},
    refereed = {yes},
    length = {0}
    }