Justifications for Logic Programming.

Carlos Viegas Damsio, Anastasia Analyti, Grigoris Antoniou

Browse the full LPNMR paper archive.