A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming.

Igor Stphan

Browse the full AIMSA paper archive.