JBJinting Bian0000-0001-5003-598X Computational logic and formal languagesNetherlandFollowUsage metrics Co-workers & collaboratorsHHHans-Dieter A. HiepHans-Dieter A. Hiep