APA (7th ed.) Citation

Marakakis, E., Kondylakis, H., & Papadakis, N. (2012). Knowledge Representation in a Proof Checker for Logic Programs. IntechOpen. https://doi.org/10.5772/37201

Chicago Style (17th ed.) Citation

Marakakis, Emmanouil, Haridimos Kondylakis, and Nikos Papadakis. Knowledge Representation in a Proof Checker for Logic Programs. IntechOpen, 2012. https://doi.org/10.5772/37201.

MLA (9th ed.) Citation

Marakakis, Emmanouil, et al. Knowledge Representation in a Proof Checker for Logic Programs. IntechOpen, 2012. https://doi.org/10.5772/37201.