Implicit Resolution - Zi Chao Wang (Log. Methods Comput. Sci., 2013)