Return to Article Details Binary Predicate, Transitive Closure, Two-Three Variables: Shall We Play Dominoes? Download Download PDF