"Posets, Boolean Representations and Quick Path Searching."

Giorgio Gambosi, Jaroslav Nesetril, Maurizio Talamo (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics