db/journals/jacm/AjtaiG87.html Miklós Ajtai Yuri Gurevich Monotone versus positive. 1004-1015 1987 34 J. ACM 4 http://doi.acm.org/10.1145/31846.31852 db/journals/jacm/jacm34.html#AjtaiG87