@incollection{Marakakis12,
author = {Emmanouil Marakakis and Haridimos Kondylakis and Nikos Papadakis},
title = {Knowledge Representation in a Proof Checker for Logic Programs},
booktitle = {Advances in Knowledge Representation},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Carlos Ramírez Gutiérrez},
chapter = {7},
doi = {10.5772/37201},
url = {https://doi.org/10.5772/37201}
}