著者: Alexander Kurz, Jirí Velebil - Journal of Logical and Algebraic Methods in Programming 2015 被引用: 37
