The top documents tagged [art formal treatment]