Representation in Computational Logic by Amjad Ali