On Converting Logic Programs Into Matrices.

Tuan Nguyen Quoc, Katsumi Inoue

Browse the full ICAART paper archive.