Formal verification of the properties of coreferent resolution model based on decision trees von Pogorilyy, S.D., Slynko, M. S., Biletskyi, P.V.

Volltext