Selected papers that cite this one Joost-Pieter Katoen and Berry Schoenmakers. Systolic arrays for the recognition of permutation-invariant segments. Science of Computer Programming, 27(2):119-137, September 1996.