"An extended dead-end elimination algorithm to determine gap-free lists of ..."

Edda Kloppmann, G. Matthias Ullmann, Torsten Becker (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics