Spurious disambiguation errors and how to get rid of them (0)

by Claudio Sacerdoti Coen, Stefano Zacchiroli
Venue:Journal of Mathematics in Computer Science, special issue on Management of Mathematical Knowledge