Adaptive sorting: an information theoretic perspective Amr ElmasryMichael L. Fredman Original Article 30 October 2007 Pages: 33 - 42
A decision procedure for propositional projection temporal logic with infinite models Zhenhua DuanCong TianLi Zhang Original Article 20 November 2007 Pages: 43 - 78