Fangzhen Lin, Yisong Wang: Answer Set Programming with Functions. KR 2008: 454-465