Teimuraz Kutsia, Ioana-Cleopatra Pau,
"A Framework for Approximate Generalization in Quantitative Theories"
, in Jasmin Blanchette, Laura Kovács, and Dirk Pattinson: Automated Reasoning, Serie Lecture Notes in Artificial Intelligence, Vol. 13385, Springer, Seite(n) 578--596, 2022, ISBN: 978-3-031-10768-9
Original Titel:
A Framework for Approximate Generalization in Quantitative Theories