@ARTICLE { AUTHOR = "Mat{\'{\i}}as Toro and {\'E}ric Tanter", TITLE ="Abstracting Gradual References", JOURNAL = "Science of Computer Programming (SCICO)", VOLUME = "197", PAGES = "1-65", MONTH = "Oct", YEAR = "2020", PUBLISHER = "Elsevier Science", ADDRESS = "Amsterdam, The Netherlands", ISSN = "0167-6423" }