Logic programming with sets

Satoshi Hada

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Michael Ray, Yves C. Martin

Proceedings of SPIE - The International Society for Optical Engineering

Tong Zhang, G.H. Golub, et al.

Linear Algebra and Its Applications

Guo-Jun Qi, Charu Aggarwal, et al.

IEEE TPAMI