Robert Bernecky Reducing computational complexity with array predicates. 39-43 1998 conf/apl/1998 APL http://doi.acm.org/10.1145/327559.327614 db/conf/apl/apl1998.html#Bernecky98a