"Empirical Design of a Holistic Verifier for Automatic Sorting of ..."

Chin Keong Lee, Graham Leedham (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics