Knowledge Representation in a Proof Checker for Logic Programs - Marakakis, Emmanouil; Kondylakis, Haridimos; Papadakis, Nikos (IntechOpen, 2012)
None