Matthias Ringe, Thomas Lindenkreuz, Erich Barke: Path Verification Using Boolean Satisfiability. DATE 1998: 965-966