Inductive synthesis of dot expressions Article uri icon