Symbolical Construction of Truth Value Domain for Logic Program.

Shinichi Morishita, Masayuki Numao, Shin'ichi Hirose

Browse the full ICLP paper archive.