Hans Dietmar Gröger. Does Transitivity Help? On the Complexity of Poset Properties. In Zoltán Ésik, editor, Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings. Volume 710 of Lecture Notes in Computer Science, pages 266-278, Springer, 1993.