"Path Verification Using Boolean Satisfiability."

Matthias Ringe, Thomas Lindenkreuz, Erich Barke (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics