TY - RPRT TI - Image processing using miniKanren AU - Hirotaka Niitsuma PY - 2014 UR - https://arxiv.org/abs/1403.3964 ID - 1403.3964 ER -