Raymond Reiter Alan K. Mackworth A Logical Framework for Depiction and Image Interpretation. 125-155 1989 41 Artif. Intell. 2 db/journals/ai/ai41.html#ReiterM89