On the Domain and Dimension Hierarchy of Matrix InterpretationsFriedrich Neurauter and Aart MiddeldorpProceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18),
Lecture Notes in Artificial Intelligence (Advanced Research in Computing and Software Science) 7180,
pp. 320 – 334,
2012.