Authors: Alexander Kurz, Jirí Velebil - Journal of Logical and Algebraic Methods in Programming 2015 cited by 37
