Joost Vennekens Algebraic and logical study of constructive processes in knowledge representation. 89-90 2008 21 AI Commun. 1 http://iospress.metapress.com/content/0385463787355762/ db/journals/aicom/aicom21.html#Vennekens08