Source: https://hirac.lekumo.biz/main/files/NITE/JCSS/koukai/kanren/ASG103-06.pdf