Answer Set Computation Based on a Minimal Model Generation Theorem Prover.

Yasuyuki Shirai, Ryuzo Hasegawa

Browse the full PRICAI paper archive.