"A framework in prolog for computing structural relationships."

Carsten Pontow, Florian Dazinger, Rainer Schubert (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics