Ambiguity Detection: Scaling towards Scannerless

by H. J. S. Basten , P. Klint , J. J. Vinju , Centrum Wiskunde