SLE 2011Ambiguity Detection: Scaling to ScannerlessHendrikus J. S. Basten, Paul Klint, Jurgen J. VinjuPDFDOI 10.1007/978-3-642-28830-2_17dblpBibTeXAbstract elided by the publisher.