Generating Symbolic Descriptions of Two-dimensional Blocks World. - Arcot Sowmya; K. W. E. Lee (MVA, 1994)